evmcs_read64      136 arch/x86/kvm/vmx/evmcs.h static inline u64 evmcs_read64(unsigned long field)
evmcs_read64      192 arch/x86/kvm/vmx/evmcs.h static inline u64 evmcs_read64(unsigned long field) { return 0; }