HFI1_CTXT_BASE_FAILED
set_bit(HFI1_CTXT_BASE_FAILED, &uctxt->event_flags);
if (test_bit(HFI1_CTXT_BASE_FAILED, &fd->uctxt->event_flags))