static void ipx_recv_esr_call(void) { coopth_start(recv_tid, ipx_recv_esr_call_thr, NULL); }
static void ipx_aes_esr_call(void) { coopth_start(aes_tid, ipx_aes_esr_call_thr, NULL); }
static void ipx_aes_esr_call(void) { ipx_esr_irq_begin(); coopth_start(aes_tid, ipx_aes_esr_call_thr, NULL); }