Searched refs:host_bndcfgs (Results 1 – 1 of 1) sorted by relevance
8673 unsigned long host_bndcfgs; in vmx_hardware_setup() local8683 rdmsrq(MSR_IA32_BNDCFGS, host_bndcfgs); in vmx_hardware_setup()8684 WARN_ONCE(host_bndcfgs, "BNDCFGS in host will be lost"); in vmx_hardware_setup()