Searched defs:vmcs (Results 1 – 2 of 2) sorted by relevance
239 static inline int evmcs_vmptrld(uint64_t vmcs_pa, void *vmcs) in evmcs_vmptrld()
547 void *vmcs; member