taglinefilesource code
phys_seg807arch/sparc/mm/sun4c.cint phys_seg, i, ctx;
phys_seg927arch/sparc/mm/sun4c.cfor(phys_seg=0, i=0; i<=invalid_segment; i++)
phys_seg929arch/sparc/mm/sun4c.cphys_seg++;
phys_seg930arch/sparc/mm/sun4c.cprintk("SUN4C: Hard locked %d boot-up psegs\n", phys_seg);