Searched refs:evmcs_write16 (Results 1 – 2 of 2) sorted by relevance
59 static __always_inline void evmcs_write16(unsigned long field, u16 value) in evmcs_write16() function117 static __always_inline void evmcs_write16(unsigned long field, u16 value) {} in evmcs_write16() function
232 return evmcs_write16(field, value); in vmcs_write16()