evmcs_read16      156 arch/x86/kvm/vmx/evmcs.h static inline u16 evmcs_read16(unsigned long field)
evmcs_read16      194 arch/x86/kvm/vmx/evmcs.h static inline u16 evmcs_read16(unsigned long field) { return 0; }