Searched refs:read_32bit_cp1_register (Results 1 – 5 of 5) sorted by relevance
46 fpu_id = read_32bit_cp1_register(CP1_REVISION); in cpu_get_fpu_id()74 fcsr0 = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_fcsr_mask()78 fcsr1 = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_fcsr_mask()101 fir = read_32bit_cp1_register(CP1_REVISION); in cpu_set_fpu_2008()103 fcsr = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_2008()107 fcsr0 = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_2008()111 fcsr1 = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_2008()
152 fcr31 = read_32bit_cp1_register(CP1_STATUS); in __mm_isBranchInstr()710 fcr31 = read_32bit_cp1_register(CP1_STATUS); in __compute_return_epc_for_insn()
170 read_32bit_cp1_register(CP1_STATUS); in lose_fpu_inatomic()
2303 #define read_32bit_cp1_register(source) \ macro2308 #define read_32bit_cp1_register(source) \ macro
734 fcr31 = read_32bit_cp1_register(CP1_STATUS); in isBranchInstr()