__update_guest_eip(inst_len);
hvm_rdtsc_intercept(regs);
break;
+#ifdef __x86_64__
case EXIT_REASON_RDTSCP:
{
struct vmx_msr_state *guest_state = &v->arch.hvm_vmx.msr_state;
regs->ecx = (uint32_t)(guest_state->msrs[VMX_INDEX_MSR_TSC_AUX]);
break;
}
+#endif
case EXIT_REASON_VMCALL:
{
int rc;
extern int pagefault_by_memadd(unsigned long addr, struct cpu_user_regs *regs);
extern int handle_memadd_fault(unsigned long addr, struct cpu_user_regs *regs);
#else
-int pagefault_by_memadd(unsigned long addr, struct cpu_user_regs *regs)
+static inline int pagefault_by_memadd(unsigned long addr,
+ struct cpu_user_regs *regs)
{
return 0;
}
-int handle_memadd_fault(unsigned long addr, struct cpu_user_regs *regs)
+static inline int handle_memadd_fault(unsigned long addr,
+ struct cpu_user_regs *regs)
{
return 0;
}
#ifdef CONFIG_X86_64
extern int memory_add(unsigned long spfn, unsigned long epfn, unsigned int pxm);
#else
-int memory_add(uint64_t spfn, uint64_t epfn, uint32_t pxm) {return -ENOSYS};
+static inline int memory_add(uint64_t spfn, uint64_t epfn, uint32_t pxm)
+{
+ return -ENOSYS;
+}
#endif
#ifdef CONFIG_COMPAT