Home
last modified time | relevance | path

Searched refs:evmcs_write32 (Results 1 – 2 of 2) sorted by relevance

/arch/x86/kvm/vmx/
A Dvmx_onhyperv.h48 static __always_inline void evmcs_write32(unsigned long field, u32 value) in evmcs_write32() function
125 static __always_inline void evmcs_write32(unsigned long field, u32 value) {} in evmcs_write32() function
A Dvmx_ops.h243 return evmcs_write32(field, value); in vmcs_write32()
274 return evmcs_write32(field, evmcs_read32(field) & ~mask); in vmcs_clear_bits()
284 return evmcs_write32(field, evmcs_read32(field) | mask); in vmcs_set_bits()

Completed in 4 milliseconds