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