Module axhal::platform

Platform-specific operations.

Modules

• apic
• console
• dtables
  Description tables (per-CPU GDT, per-CPU ISS, IDT)
• irq
• mem
• misc
• time

Functions

• platform_init
  Initializes the platform devices for the primary CPU.
• platform_init_secondary
  Initializes the platform devices for secondary CPUs.
• platform_name
  Returns the name of the platform.
• set_tss_stack_top
  set tss stack top