feat: implement state machine for vCPU state transitions
This patch implements the state machine which tracks the various
legal transitions allowed for a vCPU as defined by the rules in
the FF-A v1.3 ALP2 specification.
Change-Id: I03f2d398b1ffc965e69449277536403605267766
Signed-off-by: Madhukar Pappireddy <madhukar.pappireddy@arm.com>
diff --git a/inc/hf/vcpu.h b/inc/hf/vcpu.h
index 0c12324..c845e20 100644
--- a/inc/hf/vcpu.h
+++ b/inc/hf/vcpu.h
@@ -352,3 +352,4 @@
ffa_id_t sender_vm_id, struct ffa_value args);
void vcpu_dir_req_reset_state(struct vcpu_locked vcpu_locked);
+bool vcpu_state_set(struct vcpu_locked vcpu_locked, enum vcpu_state to);