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