Add APIs to yield and get the ID of the VM.
Change-Id: I2e6340d200cfddc7ca9877e91d785c438620b6c6
diff --git a/inc/hf/api.h b/inc/hf/api.h
index 94e3327..b4bbbf7 100644
--- a/inc/hf/api.h
+++ b/inc/hf/api.h
@@ -23,6 +23,7 @@
#include "vmapi/hf/call.h"
void api_init(struct mpool *ppool);
+int64_t api_vm_get_id(const struct vcpu *current);
int64_t api_vm_get_count(void);
int64_t api_vcpu_get_count(uint32_t vm_id, const struct vcpu *current);
struct hf_vcpu_run_return api_vcpu_run(uint32_t vm_id, uint32_t vcpu_idx,