read_32bit_cp1_register
read_32bit_cp1_register(CP1_STATUS);
fcr31 = read_32bit_cp1_register(CP1_STATUS);
fcr31 = read_32bit_cp1_register(CP1_STATUS);
fcsr0 = read_32bit_cp1_register(CP1_STATUS);
fcsr1 = read_32bit_cp1_register(CP1_STATUS);
fpu_id = read_32bit_cp1_register(CP1_REVISION);
fcsr0 = read_32bit_cp1_register(CP1_STATUS);
fcsr1 = read_32bit_cp1_register(CP1_STATUS);
fir = read_32bit_cp1_register(CP1_REVISION);
fcsr = read_32bit_cp1_register(CP1_STATUS);
fcr31 = read_32bit_cp1_register(CP1_STATUS);