kernel_mode
u32 kernel_mode = read_sysreg(CurrentEL) | 1; /* +SPSel */
if (mode == kernel_mode && regs_irqs_disabled(regs))
if (mode == kernel_mode)
#define user_mode(regs) (!kernel_mode(regs))
kernel_mode(regs) ? "kernel" : "user");
if (kernel_mode(regs))
if (unlikely(kernel_mode(regs) && (address >= TASK_SIZE))) {
if (kernel_mode(regs))
if (kernel_mode(regs) && !search_exception_tables(regs->pc))
&& (kernel_mode(regs) || !store_updates_sp(regs)))