const IOCMGET: type = if (is_mips) 0x741d else 0x5415;