int_info.valid = 1;
#ifdef CONFIG_DEBUG_INTERRUPTS
- PrintDebug("Injecting exception %d (EIP=%p)\n", int_info.vector, (void *)info->rip);
+ PrintDebug("Injecting exception %d (EIP=%p)\n", int_info.vector, (void *)(addr_t)info->rip);
#endif
check_vmcs_write(VMCS_ENTRY_INT_INFO, int_info.value);
PrintDebug("Injecting Interrupt %d at exit %u(EIP=%p)\n",
info->intr_core_state.irq_vector,
(uint32_t)info->num_exits,
- (void *)info->rip);
+ (void *)(addr_t)info->rip);
#endif
check_vmcs_write(VMCS_ENTRY_INT_INFO, ent_int.value);
);
#elif __V3_32BIT__
__asm__ __volatile__ (
- "movq %%cr4, %%ecx;"
- "orq $0x00002000, %%ecx;"
- "movq %%ecx, %0;"
+ "movl %%cr4, %%ecx;"
+ "orl $0x00002000, %%ecx;"
+ "movl %%ecx, %0;"
: "=m"(ret)
:
: "%ecx"
if ((~ret & tmp_msr.value) == 0) {
__asm__ __volatile__ (
- "movq %0, %%cr4;"
+ "movl %0, %%cr4;"
:
: "q"(ret)
);
}
__asm__ __volatile__ (
- "movq %%cr0, %%ecx; "
- "orq $0x00000020,%%ecx; "
- "movq %%ecx, %%cr0;"
+ "movl %%cr0, %%ecx; "
+ "orl $0x00000020,%%ecx; "
+ "movl %%ecx, %%cr0;"
:
:
: "%ecx"