const IOCGETD: type = if (is_mips) 0x7400 else 0x5424;