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