Searched refs:evmcs_read32 (Results 1 – 2 of 2) sorted by relevance
82 static __always_inline u32 evmcs_read32(unsigned long field) in evmcs_read32() function128 static __always_inline u32 evmcs_read32(unsigned long field) { return 0; } in evmcs_read32() function
165 return evmcs_read32(field); in vmcs_read32()272 return evmcs_write32(field, evmcs_read32(field) & ~mask); in vmcs_clear_bits()282 return evmcs_write32(field, evmcs_read32(field) | mask); in vmcs_set_bits()