Searched defs:vmcs_read64 (Results 1 – 2 of 2) sorted by relevance
169 static __always_inline u64 vmcs_read64(unsigned long field) in vmcs_read64() function
120 static __always_inline u64 vmcs_read64(unsigned long field) in vmcs_read64() function