
  TYPE
    ost$cpu_statistics = RECORD
      idle_stats: ARRAY [0 .. (osc$max_number_of_processors - 1)] OF ost$cpu_idle_statistics,
      processor_defined: ARRAY [0 .. (osc$max_number_of_processors - 1)] OF boolean,
      cpu_count: 0 .. (osc$max_number_of_processors - 1),
      nos_stats: ost$nos_stats,
      cpu_execution_stats: tmt$cpu_execution_statistics,
    RECEND,

    ost$nos_stats = RECORD
      nos_on: boolean,
      nos_time: integer,
      nos_time_ve_idle: integer,
    RECEND;

*copyc jmt$dispatching_priority
*copyc ost$cpu_idle_statistics
*copyc tmt$cpu_execution_statistics
