Home
last modified time | relevance | path

Searched refs:tmp64 (Results 1 – 3 of 3) sorted by relevance

/hypervisor/arch/x86/
A Dvmx.c41 uint64_t tmp64; in vmx_on() local
51 CPU_CR_READ(cr0, &tmp64); in vmx_on()
52 CPU_CR_WRITE(cr0, tmp64 | CR0_NE); in vmx_on()
53 CPU_CR_READ(cr4, &tmp64); in vmx_on()
54 CPU_CR_WRITE(cr4, tmp64 | CR4_VMXE); in vmx_on()
57 tmp64 = msr_read(MSR_IA32_FEATURE_CONTROL); in vmx_on()
60 if ((tmp64 & MSR_IA32_FEATURE_CONTROL_LOCK) == 0U) { in vmx_on()
62 tmp64 |= (MSR_IA32_FEATURE_CONTROL_LOCK | in vmx_on()
64 msr_write(MSR_IA32_FEATURE_CONTROL, tmp64); in vmx_on()
A Dmmu.c151 uint64_t tmp64 = 0UL; in enable_paging() local
160 tmp64 = msr_read(MSR_IA32_EFER); in enable_paging()
167 tmp64 |= MSR_IA32_EFER_NXE_BIT | MSR_IA32_EFER_SCE_BIT; in enable_paging()
168 msr_write(MSR_IA32_EFER, tmp64); in enable_paging()
171 CPU_CR_READ(cr0, &tmp64); in enable_paging()
172 CPU_CR_WRITE(cr0, tmp64 | CR0_WP); in enable_paging()
/hypervisor/arch/x86/guest/
A Dvm.c832 uint64_t tmp64 = pcpu_bitmap; in create_vm() local
833 while (tmp64 != 0UL) { in create_vm()
834 pcpu_id = ffs64(tmp64); in create_vm()
835 bitmap_clear_nolock(pcpu_id, &tmp64); in create_vm()

Completed in 10 milliseconds