Searched refs:evmcs_vmptrld (Results 1 – 3 of 3) sorted by relevance
77 evmcs_vmptrld(0xdeadbeef, vmx_pages->enlightened_vmcs); in guest_code()
194 if (evmcs_vmptrld(vmx->enlightened_vmcs_gpa, in load_vmcs()
241 static inline int evmcs_vmptrld(uint64_t vmcs_pa, void *vmcs) in evmcs_vmptrld() function
