r27
uint32 r27;
frame->r24, frame->r25, frame->r26, frame->r27);
dprintf("r24-r27: 0x%08lx 0x%08lx 0x%08lx 0x%08lx\n", frame->r24, frame->r25, frame->r26, frame->r27);