#define JAILHOUSE_CPU_STAT_VMEXITS_XSETBV JAILHOUSE_GENERIC_CPU_STATS + 5
#define JAILHOUSE_NUM_CPU_STATS JAILHOUSE_GENERIC_CPU_STATS + 6
+/* CPUID interface */
+#define JAILHOUSE_CPUID_SIGNATURE 0x40000000
+#define JAILHOUSE_CPUID_FEATURES 0x40000001
+
#ifdef __ASSEMBLY__
#define __MAKE_UL(x) x