r29
uint32 r29;
frame->r28, frame->r29, frame->r30, frame->r31);
dprintf("r28-r31: 0x%08lx 0x%08lx 0x%08lx 0x%08lx\n", frame->r28, frame->r29, frame->r30, frame->r31);