IGC_TDBAH
{ IGC_TDBAH(0), 4, PATTERN_TEST, 0xFFFFFFFF, 0xFFFFFFFF },
{IGC_TDBAH(0), "TDBAH"},
case IGC_TDBAH(0):
regs[n] = rd32(IGC_TDBAH(n));
regs_buff[152 + i] = rd32(IGC_TDBAH(i));
wr32(IGC_TDBAH(reg_idx), tdba >> 32);