Symbol: efx_farch_irq_test_generate