ib_prctl_set     1307 arch/x86/kernel/cpu/bugs.c 		return ib_prctl_set(task, ctrl);
ib_prctl_set     1320 arch/x86/kernel/cpu/bugs.c 		ib_prctl_set(task, PR_SPEC_FORCE_DISABLE);