
{ DECK: IOT$IO_FUNCTION (Definitions for interface to physical IO requests)

  TYPE
    iot$io_function = (ioc$read_page, ioc$write_page, ioc$explicit_read,
      ioc$explicit_write, ioc$swap_in, ioc$swap_out, ioc$compare_swap,
      ioc$write_verify, ioc$read_uft, ioc$read_mass_storage,
      ioc$write_mass_storage, ioc$no_io, ioc$write_locked_page,
      ioc$keypoint_io, ioc$initialize_sectors, ioc$explicit_read_no_purge,
      ioc$read_for_server, ioc$read_from_client,
      ioc$write_for_server, ioc$write_to_client, ioc$allocate, ioc$read_ahead_on_server);
