Check notif_pending early in pop_user_ctx()
[akaros.git] / arch
1 kern/arch/