Searched defs:vmcs_write16 (Results 1 – 2 of 2) sorted by relevance
228 static __always_inline void vmcs_write16(unsigned long field, u16 value) in vmcs_write16() function
179 static __always_inline void vmcs_write16(unsigned long field, u16 value) in vmcs_write16() function