void arch_irq_work_raise(void) { set_softint(1 << PIL_DEFERRED_PCR_WORK); }
void set_perf_event_pending(void) { set_softint(1 << PIL_DEFERRED_PCR_WORK); }