Commit 7f1c71c5 authored by Philippe Gerum's avatar Philippe Gerum
Browse files

arm64/ipipe: use proper conditional IRQ enabling

parent 4d1a1944
......@@ -676,16 +676,7 @@ work_pending:
bl do_notify_resume
b ret_to_user
work_resched:
#ifdef CONFIG_IPIPE
/*
In armv7, ipipe inserts the following (in do_work_pending, NEED_RESCHED case):
local_irq_disable();
hard_cond_local_irq_enable();
*/
bl ipipe_stall_root //local_irq_disable() -> { ipipe_stall_root(); barrier(); }
dmb sy //barrier(); -> __memory_barrier();
msr daifclr, #2 //hard_cond_local_irq_enable();
#endif
enable_irq_cond
bl schedule
/*
......
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