RESYNC
KEYBOARD, AMOUSE, RMOUSE, JOYSTICK, CLOCK, RESYNC
#define RESYNC(x) (((bitmap_counter_t) x) & RESYNC_MASK)
IB_OPCODE(TID_RDMA, RESYNC),