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; }