Searched refs:VE_INFORMATION_ADDRESS (Results 1 – 3 of 3) sorted by relevance
249 VE_INFORMATION_ADDRESS = 0x0000202A, enumerator
4747 vmcs_write64(VE_INFORMATION_ADDRESS, in init_vmcs()6429 u64 ve_info_pa = vmcs_read64(VE_INFORMATION_ADDRESS); in dump_vmcs()
2274 vmcs_write64(VE_INFORMATION_ADDRESS, __pa(vmx->ve_info)); in prepare_vmcs02_constant_state()