Fix comment.
Change-Id: I9484edf7c4b1b0d0472f0ac61644769c3f5c6c2e
diff --git a/inc/vmapi/hf/abi.h b/inc/vmapi/hf/abi.h
index 538a42e..b7fd716 100644
--- a/inc/vmapi/hf/abi.h
+++ b/inc/vmapi/hf/abi.h
@@ -48,9 +48,9 @@
* The vCPU is blocked waiting for a message. The scheduler MUST take it
* off the run queue and not call `hf_vcpu_run` on the vCPU until it has
* injected an interrupt, sent it a message, or received
- * `HF_VCPU_RUN_WAKE_UP` for it from another vCPU from another vCPU or
- * the timeout provided in `hf_vcpu_run_return.sleep` is not
- * `HF_SLEEP_INDEFINITE` and the specified duration has expired.
+ * `HF_VCPU_RUN_WAKE_UP` for it from another vCPU, or the timeout
+ * provided in `hf_vcpu_run_return.sleep` is not `HF_SLEEP_INDEFINITE`
+ * and the specified duration has expired.
*/
HF_VCPU_RUN_WAIT_FOR_MESSAGE = 3,
