Add support for notifying VMs when mailboxes become writable.
This allows VMs to know when they can retry sending messages to another
VM after an attempt fails because the recipient's mailbox is not
available.
Change-Id: Ib20159f7ecf81544e40149edcd663876c58851c7
diff --git a/inc/vmapi/hf/abi.h b/inc/vmapi/hf/abi.h
index 6f43360..451de41 100644
--- a/inc/vmapi/hf/abi.h
+++ b/inc/vmapi/hf/abi.h
@@ -64,6 +64,13 @@
* `hf_vcpu_run` on it again.
*/
HF_VCPU_RUN_SLEEP,
+
+ /**
+ * The vCPU has made the mailbox writable and there are pending waiters.
+ * The scheduler MUST call hf_mailbox_waiter_get() repeatedly and notify
+ * all waiters by injecting an HF_MAILBOX_WRITABLE_INTID interrupt.
+ */
+ HF_VCPU_RUN_NOTIFY_WAITERS,
};
struct hf_vcpu_run_return {