Searched defs:evmcs_write32 (Results 1 – 2 of 2) sorted by relevance
47 static __always_inline void evmcs_write32(unsigned long field, u32 value) in evmcs_write32() function116 static __always_inline void evmcs_write32(unsigned long field, u32 value) {} in evmcs_write32() function
115 static inline void evmcs_write32(unsigned long field, u32 value) in evmcs_write32() function183 static inline void evmcs_write32(unsigned long field, u32 value) {} in evmcs_write32() function