Symbol: efx_farch_test_registers