evmcs_load 176 arch/x86/kvm/vmx/evmcs.h static inline void evmcs_load(u64 phys_addr) evmcs_load 195 arch/x86/kvm/vmx/evmcs.h static inline void evmcs_load(u64 phys_addr) {}