MSR_IA32_VMX_BASIC (reference) in projects: hypervisor

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

/hypervisor/arch/x86/
A D	vmx.c	`47 tmp32 = (uint32_t)msr_read(MSR_IA32_VMX_BASIC); in vmx_on()`
A D	cpu_caps.c	`284 return ((msr_read(MSR_IA32_VMX_BASIC) & MSR_IA32_VMX_BASIC_ADDR_WIDTH) != 0UL); in pcpu_vmx_set_32bit_addr_width()`
/hypervisor/include/arch/x86/asm/guest/
A D	nested.h	`29 MSR_IA32_VMX_BASIC, \`
/hypervisor/arch/x86/guest/
A D	nested.c	`92 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_BASIC, val64.full); in init_vmx_msrs() 216 case MSR_IA32_VMX_BASIC: in read_vmx_msr() 1625 vmx_basic = (uint32_t)msr_read(MSR_IA32_VMX_BASIC); in init_nested_vmx()`
A D	vmcs.c	`567 vmx_rev_id = msr_read(MSR_IA32_VMX_BASIC); in init_vmcs()`
/hypervisor/include/arch/x86/asm/
A D	msr.h	`240 #define MSR_IA32_VMX_BASIC 0x00000480U macro`

Completed in 13 milliseconds