Searched defs:vmcs_read16 (Results 1 – 2 of 2) sorted by relevance
153 static __always_inline u16 vmcs_read16(unsigned long field) in vmcs_read16() function
104 static __always_inline u16 vmcs_read16(unsigned long field) in vmcs_read16() function