
  TYPE
    iot$io_request_type = (ioc$pager_io, ioc$device_io);
