#ifndef _ARCH_API_H | |
#define _ARCH_API_H | |
/* Return values for vcpu_run() hypervisor call. */ | |
#define HF_VCPU_YIELD 0x00 | |
#define HF_VCPU_WAIT_FOR_INTERRUPT 0x01 | |
#define HF_VCPU_WAKE_UP 0x02 | |
/* TODO: Define constants below according to spec. */ | |
#define HF_VCPU_RUN 0xff00 | |
#define HF_VM_GET_COUNT 0xff01 | |
#define HF_VCPU_GET_COUNT 0xff02 | |
#endif /* _ARCH_API_H */ |