Do not disable IRQs to protect cur_ctx