if (WARN_ON(!irqs_disabled()))
local_irq_disable();
+ lockdep_sys_exit();
+
/*
* In order to return to user mode, we need to have IRQs off with
* none of _TIF_SIGPENDING, _TIF_NOTIFY_RESUME, _TIF_USER_RETURN_NOTIFY,
jb resume_kernel # not returning to v8086 or userspace
ENTRY(resume_userspace)
- LOCKDEP_SYS_EXIT
DISABLE_INTERRUPTS(CLBR_ANY)
TRACE_IRQS_OFF
movl %esp, %eax
syscall_after_call:
movl %eax, PT_EAX(%esp) # store the return value
syscall_exit:
- LOCKDEP_SYS_EXIT
jmp syscall_exit_work
restore_all:
jz retint_kernel
/* Interrupt came from user space */
- LOCKDEP_SYS_EXIT_IRQ
GLOBAL(retint_user)
mov %rsp,%rdi
call prepare_exit_to_usermode