CP1_REVISION
fpu_id = read_32bit_cp1_register(CP1_REVISION);
fir = read_32bit_cp1_register(CP1_REVISION);