Symbol: CPUID_CAPEX_IBPB
sys/platform/pc64/x86_64/vm_machdep.c
459
if (p[1] & CPUID_CAPEX_IBPB)
sys/platform/pc64/x86_64/vm_machdep.c
478
if (p[1] & CPUID_CAPEX_IBPB)