kcsan_restore_irqtrace
kcsan_restore_irqtrace(current);
void kcsan_restore_irqtrace(struct task_struct *task);
kcsan_restore_irqtrace(task);