Searched refs:write_32bit_cp1_register (Results 1 – 3 of 3) sorted by relevance
87 write_32bit_cp1_register(CP1_STATUS, fcsr0); in cpu_set_fpu_fcsr_mask()91 write_32bit_cp1_register(CP1_STATUS, fcsr1); in cpu_set_fpu_fcsr_mask()94 write_32bit_cp1_register(CP1_STATUS, fcsr); in cpu_set_fpu_fcsr_mask()
830 write_32bit_cp1_register(CP1_STATUS, fcr31 & ~FPU_CSR_ALL_X); in do_fpe()1331 write_32bit_cp1_register(CP1_STATUS, in enable_restore_fp_context()
1509 #define write_32bit_cp1_register(dest, val) \ macro1514 #define write_32bit_cp1_register(dest, val) \ macro