Searched defs:vmcs (Results 1 – 3 of 3) sorted by relevance
502 void *vmcs; member
271 static inline int evmcs_vmptrld(uint64_t vmcs_pa, void *vmcs) in evmcs_vmptrld()
23186 struct vmcs { struct23187 struct vmcs_hdr hdr; argument23188 u32 abort;23212 u64 vmcs_enum; argument23510 struct vmcs *vmcs; member