#ifndef _JAILHOUSE_ASM_VCPU_H
#define _JAILHOUSE_ASM_VCPU_H
-#include <jailhouse/entry.h>
+#include <jailhouse/cell.h>
#include <jailhouse/cell-config.h>
+#include <jailhouse/entry.h>
#include <jailhouse/paging.h>
-#include <jailhouse/types.h>
-#include <asm/cell.h>
#include <asm/percpu.h>
#include <asm/processor.h>
bool vcpu_handle_io_access(void);
bool vcpu_handle_mmio_access(void);
-bool vcpu_handle_msr_read(union registers *guest_regs);
-bool vcpu_handle_msr_write(union registers *guest_regs);
+bool vcpu_handle_msr_read(void);
+bool vcpu_handle_msr_write(void);
+
+void vcpu_handle_cpuid(void);
bool vcpu_handle_xsetbv(void);
-void vcpu_reset(void);
+void vcpu_reset(unsigned int sipi_vector);
+void vcpu_vendor_reset(unsigned int sipi_vector);
#endif