Symbol: l5_irrq_entry_b_xi_t