Symbol: SEFF0EDX_IBRS
sys/arch/amd64/amd64/cpu.c
209
} else if (ci->ci_feature_sefflags_edx & SEFF0EDX_IBRS) {
sys/arch/amd64/amd64/cpu.c
212
if (ci->ci_feature_sefflags_edx & SEFF0EDX_IBRS)
sys/arch/amd64/amd64/vmm_machdep.c
3911
(ci->ci_feature_sefflags_edx & SEFF0EDX_IBRS)) {
sys/arch/i386/i386/machdep.c
1037
{ SEFF0EDX_IBRS, "IBRS,IBPB" },