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