51 	unsigned int segcfg;  in show_segments()  local
57 	segcfg = read_c0_segctl0();  in show_segments()
58 	build_segment_config(str, segcfg);  in show_segments()
61 	segcfg >>= 16;  in show_segments()
62 	build_segment_config(str, segcfg);  in show_segments()
65 	segcfg = read_c0_segctl1();  in show_segments()
66 	build_segment_config(str, segcfg);  in show_segments()
69 	segcfg >>= 16;  in show_segments()
70 	build_segment_config(str, segcfg);  in show_segments()
73 	segcfg = read_c0_segctl2();  in show_segments()
74 	build_segment_config(str, segcfg);  in show_segments()
77 	segcfg >>= 16;  in show_segments()
78 	build_segment_config(str, segcfg);  in show_segments()