48 	unsigned int segcfg;  in show_segments()  local
54 	segcfg = read_c0_segctl0();  in show_segments()
55 	build_segment_config(str, segcfg);  in show_segments()
58 	segcfg >>= 16;  in show_segments()
59 	build_segment_config(str, segcfg);  in show_segments()
62 	segcfg = read_c0_segctl1();  in show_segments()
63 	build_segment_config(str, segcfg);  in show_segments()
66 	segcfg >>= 16;  in show_segments()
67 	build_segment_config(str, segcfg);  in show_segments()
70 	segcfg = read_c0_segctl2();  in show_segments()
71 	build_segment_config(str, segcfg);  in show_segments()
74 	segcfg >>= 16;  in show_segments()
75 	build_segment_config(str, segcfg);  in show_segments()