Searched refs:read_32bit_cp1_register (Results 1 – 2 of 2) sorted by relevance
303 fpu_id = read_32bit_cp1_register(CP1_REVISION); in cpu_get_fpu_id()
1139 #define read_32bit_cp1_register(source) \ macro