IGC_RAL
regs_buff[139 + i] = rd32(IGC_RAL(i));
regs_buff[172 + i] = rd32(IGC_RAL(i));
wr32(IGC_RAL(index), rar_low);
ral = rd32(IGC_RAL(i));
wr32(IGC_RAL(index), ral);
wr32(IGC_RAL(index), 0);
rar_low = rd32(IGC_RAL(0));