Searched refs:read_32bit_cp1_register (Results 1 – 5 of 5) sorted by relevance
173 read_32bit_cp1_register(CP1_STATUS); in lose_fpu_inatomic()
1507 #define read_32bit_cp1_register(source) \ macro1512 #define read_32bit_cp1_register(source) \ macro
150 fcr31 = read_32bit_cp1_register(CP1_STATUS); in __mm_isBranchInstr()719 fcr31 = read_32bit_cp1_register(CP1_STATUS); in __compute_return_epc_for_insn()
47 fpu_id = read_32bit_cp1_register(CP1_REVISION); in cpu_get_fpu_id()88 fcsr0 = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_fcsr_mask()92 fcsr1 = read_32bit_cp1_register(CP1_STATUS); in cpu_set_fpu_fcsr_mask()
737 fcr31 = read_32bit_cp1_register(CP1_STATUS); in isBranchInstr()