Searched refs:evmcs_write32 (Results 1 – 1 of 1) sorted by relevance
1401 static inline void evmcs_write32(unsigned long field, u32 value) in evmcs_write32() function1588 static inline void evmcs_write32(unsigned long field, u32 value) {} in evmcs_write32() function2397 return evmcs_write32(field, value); in vmcs_write32()2429 return evmcs_write32(field, evmcs_read32(field) & ~mask); in vmcs_clear_bits()2439 return evmcs_write32(field, evmcs_read32(field) | mask); in vmcs_set_bits()
