r22
uint32 r22;
frame->r20, frame->r21, frame->r22, frame->r23);
dprintf("r20-r23: 0x%08lx 0x%08lx 0x%08lx 0x%08lx\n", frame->r20, frame->r21, frame->r22, frame->r23);