Module axhal::arch

Architecture-specific types and operations.

Structs

• GdtStruct
  A wrapper of the Global Descriptor Table (GDT) with maximum 16 entries.
• TaskStateSegment
  In 64-bit mode the TSS holds information that is not directly related to the task-switch mechanism, but is used for finding kernel level stack if interrupts arrive while in kernel mode.
• TrapFrame
  Saved registers when a trap (interrupt or exception) occurs.

Functions

• disable_irqs
  Makes the current CPU to ignore interrupts.
• enable_irqs
  Allows the current CPU to respond to interrupts.
• first_into_usermonolithic
  To handle the first time into the user space
• flush_tlb
  Flushes the TLB.
• halt
  Halt the current CPU.
• irqs_enabled
  Returns whether the current CPU is allowed to respond to interrupts.
• read_page_table_root
  Reads the register that stores the current page table root.
• read_thread_pointer
  Reads the thread pointer of the current CPU.
• read_trapframe_from_kstackmonolithic
  To read the trap frame from the kernel stack
• task_context_switch
  To switch the context between two tasks
• wait_for_irqs
  Relaxes the current CPU and waits for interrupts.
• write_page_table_root^⚠
  Writes the register to update the current page table root.
• write_page_table_root0^⚠
  Writes the register to update the current page table root.
• write_thread_pointer^⚠
  Writes the thread pointer of the current CPU.
• write_trapframe_to_kstackmonolithic
  To write the trap frame into the kernel stack