evmcs_write64      99 arch/x86/kvm/vmx/evmcs.h static inline void evmcs_write64(unsigned long field, u64 value)
evmcs_write64     189 arch/x86/kvm/vmx/evmcs.h static inline void evmcs_write64(unsigned long field, u64 value) {}