evmcs_write32     112 arch/x86/kvm/vmx/evmcs.h static inline void evmcs_write32(unsigned long field, u32 value)
evmcs_write32     190 arch/x86/kvm/vmx/evmcs.h static inline void evmcs_write32(unsigned long field, u32 value) {}