psbl              175 arch/mips/ar7/prom.c 	struct psbl_rec *psbl = (struct psbl_rec *)(KSEG1ADDR(0x14000300));
psbl              176 arch/mips/ar7/prom.c 	void *psp_env = (void *)KSEG1ADDR(psbl->env_base);