Differentiate preemption from yielding.
Yielding is voluntary and indicates something else should be given the
chance to run. Preemption is involuntary and indicates the vCPU still
wants to run.
Change-Id: I9ba2445c3d67ea140bf33005a08084b29457e42f
diff --git a/inc/hf/api.h b/inc/hf/api.h
index 9c86cbf..f3e189a 100644
--- a/inc/hf/api.h
+++ b/inc/hf/api.h
@@ -38,8 +38,9 @@
struct vcpu **next);
int64_t api_mailbox_clear(const struct vcpu *current);
-struct vcpu *api_wait_for_interrupt(struct vcpu *current);
+struct vcpu *api_preempt(struct vcpu *current);
struct vcpu *api_yield(struct vcpu *current);
+struct vcpu *api_wait_for_interrupt(struct vcpu *current);
int64_t api_interrupt_enable(uint32_t intid, bool enable, struct vcpu *current);
uint32_t api_interrupt_get(struct vcpu *current);