Searched refs:evmcs_vmptrld (Results 1 – 2 of 2) sorted by relevance
187 evmcs_vmptrld(0xdeadbeef, hv_pages->enlightened_vmcs); in guest_code()
251 static inline int evmcs_vmptrld(uint64_t vmcs_pa, void *vmcs) in evmcs_vmptrld() function263 if (evmcs_vmptrld(hv->enlightened_vmcs_gpa, hv->enlightened_vmcs)) in load_evmcs()