void dumppgtbl(u32int *mmio);
void dumpesr(u32int *mmio);
void dumpshit(u32int *mmio);
void dumpring(u32int *mmio);