Searched refs:read_32bit_cp1_register (Results 1 – 5 of 5) sorted by relevance
33 fpu_id = read_32bit_cp1_register(CP1_REVISION); in cpu_get_fpu_id()61 fcsr0 = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_fcsr_mask()65 fcsr1 = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_fcsr_mask()89 fir = read_32bit_cp1_register(CP1_REVISION); in cpu_set_fpu_2008()91 fcsr = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_2008()101 fcsr0 = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_2008()105 fcsr1 = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_2008()
154 fcr31 = read_32bit_cp1_register(CP1_STATUS); in __mm_isBranchInstr()712 fcr31 = read_32bit_cp1_register(CP1_STATUS); in __compute_return_epc_for_insn()
170 read_32bit_cp1_register(CP1_STATUS); in lose_fpu_inatomic()
2399 #define read_32bit_cp1_register(source) \ macro2404 #define read_32bit_cp1_register(source) \ macro
734 fcr31 = read_32bit_cp1_register(CP1_STATUS); in isBranchInstr()