#include <linux/interrupt.h>
#include <linux/export.h>
#include <linux/cpu.h>
-#include <linux/ptrace.h>
#include <asm/tlbflush.h>
#include <asm/mmu_context.h>
u16 new_asid;
bool need_flush;
- /* Null tsk means switching to kernel, so that's safe */
- if (boot_cpu_has(X86_FEATURE_SPEC_CTRL) && tsk &&
- ___ptrace_may_access(tsk, current, PTRACE_MODE_IBPB))
+ if (boot_cpu_has(X86_FEATURE_SPEC_CTRL))
native_wrmsrl(MSR_IA32_PRED_CMD, FEATURE_SET_IBPB);
if (IS_ENABLED(CONFIG_VMAP_STACK)) {