Searched refs:read_32bit_cp1_register (Results 1 – 5 of 5) sorted by relevance
176 read_32bit_cp1_register(CP1_STATUS); in lose_fpu_inatomic()
2279 #define read_32bit_cp1_register(source) \ macro2284 #define read_32bit_cp1_register(source) \ macro
48 fpu_id = read_32bit_cp1_register(CP1_REVISION); in cpu_get_fpu_id()89 fcsr0 = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_fcsr_mask()93 fcsr1 = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_fcsr_mask()116 fir = read_32bit_cp1_register(CP1_REVISION); in cpu_set_fpu_2008()118 fcsr = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_2008()122 fcsr0 = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_2008()126 fcsr1 = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_2008()
150 fcr31 = read_32bit_cp1_register(CP1_STATUS); in __mm_isBranchInstr()704 fcr31 = read_32bit_cp1_register(CP1_STATUS); in __compute_return_epc_for_insn()
746 fcr31 = read_32bit_cp1_register(CP1_STATUS); in isBranchInstr()