Home
last modified time | relevance | path

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

/kernel/linux/linux-5.10/arch/x86/kvm/vmx/
Devmcs.h113 static inline void evmcs_write32(unsigned long field, u32 value) in evmcs_write32() function
191 static inline void evmcs_write32(unsigned long field, u32 value) {} in evmcs_write32() function
/kernel/linux/linux-4.19/arch/x86/kvm/
Dvmx.c1403 static inline void evmcs_write32(unsigned long field, u32 value) in evmcs_write32() function
1590 static inline void evmcs_write32(unsigned long field, u32 value) {} in evmcs_write32() function