--  Init scheduler.
  51    procedure Init
  52    with
  53       Global =>
  54         (Input  => (CPU_Info.APIC_ID, CPU_Info.CPU_ID, CPU_Info.Is_BSP,
  55                     Interrupt_Tables.State, VMX.Exit_Address),
  56          In_Out => (State, Crash_Audit.State, FPU.State, MP.Barrier,
  57                     Scheduling_Info.State, Subjects.State,
  58                     Subjects_Events.State, Subjects_Interrupts.State,
  59                     Subjects_MSR_Store.State, Timed_Events.State,
  60                     VMX.VMCS_State, X86_64.State));