evmcs_read32      146 arch/x86/kvm/vmx/evmcs.h static inline u32 evmcs_read32(unsigned long field)
evmcs_read32      193 arch/x86/kvm/vmx/evmcs.h static inline u32 evmcs_read32(unsigned long field) { return 0; }