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

/hypervisor/arch/x86/
A D	vmx.c	42 uint32_t tmp32; in vmx_on() local 47 tmp32 = (uint32_t)msr_read(MSR_IA32_VMX_BASIC); in vmx_on() 48 (void)memcpy_s(vmxon_region_va, 4U, (void *)&tmp32, 4U); in vmx_on()

Completed in 3 milliseconds

Last Index update Fri Aug 22 02:31:50 CST 2025