void pendsv_init(void);
void pendsv_nlr_jump(mp_obj_t o);
void pendsv_isr_handler(void);