 CONST
    osc$max_idle_count = 0ffffffffffffff(16);

 TYPE
    ost$cpu_idle_statistics = record
      idle_no_io_active: integer,
      idle_io_active: integer,
      idle_start_time: integer,
      idle_type: ost$idle_type,
      idle_count: 0 .. osc$max_idle_count,
    recend;

*copyc ost$idle_type
