89 	reg = PIXIS_READ(s[PIXIS_LBMAP_SWITCH - 1].en);  in __clear_altbank()
104 	reg = PIXIS_READ(s[PIXIS_LBMAP_SWITCH - 1].sw);  in __set_altbank()
112 	reg = PIXIS_READ(s[PIXIS_LBMAP_SWITCH - 1].en);  in __set_altbank()
123 	printf("id=%02x\n", PIXIS_READ(id));  in pixis_dump_regs()
124 	printf("arch=%02x\n", PIXIS_READ(arch));  in pixis_dump_regs()
125 	printf("scver=%02x\n", PIXIS_READ(scver));  in pixis_dump_regs()
126 	printf("csr=%02x\n", PIXIS_READ(csr));  in pixis_dump_regs()
127 	printf("rst=%02x\n", PIXIS_READ(rst));  in pixis_dump_regs()
128 	printf("aux=%02x\n", PIXIS_READ(aux));  in pixis_dump_regs()
129 	printf("spd=%02x\n", PIXIS_READ(spd));  in pixis_dump_regs()
130 	printf("brdcfg0=%02x\n", PIXIS_READ(brdcfg0));  in pixis_dump_regs()
131 	printf("brdcfg1=%02x\n", PIXIS_READ(brdcfg1));  in pixis_dump_regs()
132 	printf("addr=%02x\n", PIXIS_READ(addr));  in pixis_dump_regs()
133 	printf("data=%02x\n", PIXIS_READ(data));  in pixis_dump_regs()
134 	printf("led=%02x\n", PIXIS_READ(led));  in pixis_dump_regs()
135 	printf("vctl=%02x\n", PIXIS_READ(vctl));  in pixis_dump_regs()
136 	printf("vstat=%02x\n", PIXIS_READ(vstat));  in pixis_dump_regs()
137 	printf("vcfgen0=%02x\n", PIXIS_READ(vcfgen0));  in pixis_dump_regs()
138 	printf("ocmcsr=%02x\n", PIXIS_READ(ocmcsr));  in pixis_dump_regs()
139 	printf("ocmmsg=%02x\n", PIXIS_READ(ocmmsg));  in pixis_dump_regs()
140 	printf("gmdbg=%02x\n", PIXIS_READ(gmdbg));  in pixis_dump_regs()
142 	       PIXIS_READ(sclk[0]), PIXIS_READ(sclk[1]), PIXIS_READ(sclk[2]));  in pixis_dump_regs()
144 	       PIXIS_READ(dclk[0]), PIXIS_READ(dclk[1]), PIXIS_READ(dclk[2]));  in pixis_dump_regs()
145 	printf("watch=%02x\n", PIXIS_READ(watch));  in pixis_dump_regs()
149 			PIXIS_READ(s[i].sw), PIXIS_READ(s[i].en));  in pixis_dump_regs()