evmcs_write16     124 arch/x86/kvm/vmx/evmcs.h static inline void evmcs_write16(unsigned long field, u16 value)
evmcs_write16     191 arch/x86/kvm/vmx/evmcs.h static inline void evmcs_write16(unsigned long field, u16 value) {}