Searched refs:read_32bit_cp1_register (Results 1 – 4 of 4) 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()
185 read_32bit_cp1_register(CP1_STATUS); in lose_fpu_inatomic()
2532 #define read_32bit_cp1_register(source) \ macro