RISC_SYNC_FM1
RISC_INSTR(RISC_SYNC | RISC_SYNC_FM1 | op_sync_orin);
*risc++ = cpu_to_le32(RISC_SYNC | RISC_SYNC_FM1);