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) {}