Commit 5c38a4b0 authored by Philippe Gerum's avatar Philippe Gerum
Browse files

arm64: fix build with IRQ_PIPELINE off


Signed-off-by: Philippe Gerum's avatarPhilippe Gerum <rpm@xenomai.org>
parent 87a0e7a7
......@@ -947,12 +947,16 @@ asmlinkage void do_serror(struct pt_regs *regs, unsigned int esr)
asmlinkage void enter_from_user_mode(void)
{
if (running_inband()) {
#ifdef CONFIG_IRQ_PIPELINE
stall_inband_nocheck();
trace_hardirqs_off();
#endif
CT_WARN_ON(ct_state() != CONTEXT_USER);
user_exit_irqoff();
#ifdef CONFIG_IRQ_PIPELINE
unstall_inband_nocheck();
trace_hardirqs_on();
#endif
}
}
NOKPROBE_SYMBOL(enter_from_user_mode);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment