Searched refs:read_c0_segctl1 (Results 1 – 3 of 3) sorted by relevance
65 segcfg = read_c0_segctl1(); in segments_show()
1357 #define read_c0_segctl1() __read_32bit_c0_register($5, 3) macro
1940 #define read_c0_segctl1() __read_32bit_c0_register($5, 3) macro