IS_RCVURGENT_START
set_intr_bits(dd, IS_RCVURGENT_START + rcd->ctxt,
IS_RCVURGENT_START + rcd->ctxt, true);
set_intr_bits(dd, IS_RCVURGENT_START + rcd->ctxt,
IS_RCVURGENT_START + rcd->ctxt, false);
u32 is = IS_RCVURGENT_START + rcd->ctxt;
{ IS_RCVURGENT_START, IS_RCVURGENT_END,