Home
last modified time | relevance | path

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

/linux-6.12.1/arch/x86/kvm/vmx/
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