tpl16
p[0], p[1], tpl16(p + 2));
tpl16(tp->data),
tpl16(tp->data + 2),
tpl16(tp->data),
tpl16(tp->data + 2));
printf(fmt, tpl16(p) + ofs);
i = tpl16(p + 1); /* IRQ mask */
printf("\tMemory space length = 0x%x\n", tpl16(p));
tpl16(p + 2), tpl16(p));
num = tpl16(p) + ofs;