Searched defs:vmcs_pa (Results 1 – 2 of 2) sorted by relevance
359 static inline int vmclear(uint64_t vmcs_pa) in vmclear()371 static inline int vmptrld(uint64_t vmcs_pa) in vmptrld()
241 static inline int evmcs_vmptrld(uint64_t vmcs_pa, void *vmcs) in evmcs_vmptrld()