handle_user_interrupt
handle_user_interrupt(rcd);
void handle_user_interrupt(struct hfi1_ctxtdata *rcd);