const IOCSETD: type = if (is_mips) 0x7401 else 0x5423;