Symbol: ef4_farch_irq_test_generate