PENDING
cp_bra (ctx, AUTO_SAVE, PENDING, cp_setup_save);
cp_bra (ctx, USER_SAVE, PENDING, cp_setup_save);
cp_bra (ctx, AUTO_LOAD, PENDING, cp_setup_auto_load);
cp_bra (ctx, USER_LOAD, PENDING, cp_setup_load);
cp_bra (ctx, USER_SAVE, PENDING, cp_exit);
cp_bra (ctx, AUTO_SAVE, PENDING, cp_setup_save);
cp_bra (ctx, USER_SAVE, PENDING, cp_setup_save);
cp_bra (ctx, AUTO_LOAD, PENDING, cp_setup_auto_load);
cp_bra (ctx, USER_LOAD, PENDING, cp_setup_load);
cp_wait(ctx, INTR, PENDING);
cp_bra (ctx, USER_SAVE, PENDING, cp_exit);
sync_clear_bit(EVTCHN_FIFO_BIT(PENDING, word), BM(word));
sync_set_bit(EVTCHN_FIFO_BIT(PENDING, word), BM(word));
return sync_test_bit(EVTCHN_FIFO_BIT(PENDING, word), BM(word));
#define _Q_PENDING_MASK _Q_SET_MASK(PENDING)
PENDING(&t->pending, &t->blocked) ||
PENDING(&t->signal->shared_pending, &t->blocked) ||
#define _Q_PENDING_MASK _Q_SET_MASK(PENDING)