SPECTRE_V2_USER_CMD_PRCTL_IBPB  654 arch/x86/kernel/cpu/bugs.c 	{ "prctl,ibpb",		SPECTRE_V2_USER_CMD_PRCTL_IBPB,		false },
SPECTRE_V2_USER_CMD_PRCTL_IBPB  719 arch/x86/kernel/cpu/bugs.c 	case SPECTRE_V2_USER_CMD_PRCTL_IBPB:
SPECTRE_V2_USER_CMD_PRCTL_IBPB  738 arch/x86/kernel/cpu/bugs.c 		case SPECTRE_V2_USER_CMD_PRCTL_IBPB: