Module axhal::arch

Architecture-specific types and operations.

Structs

• ExtendedState
  Extended state of a task, such as FP/SIMD states.
• FxsaveArea
  A 512-byte memory region for the FXSAVE/FXRSTOR instruction to save and restore the x87 FPU, MMX, XMM, and MXCSR registers.
• GdtStruct
  A wrapper of the Global Descriptor Table (GDT) with maximum 16 entries.
• IdtStruct
  A wrapper of the Interrupt Descriptor Table (IDT).
• TaskContext
  Saved hardware states of a task.
• TrapFrame
  Saved registers when a trap (interrupt or exception) occurs.
• UspaceContextuspace
  Context to enter user space.

Functions

• cpu_init
  Initializes CPU states on the current CPU.
• disable_irqs
  Makes the current CPU to ignore interrupts.
• enable_irqs
  Allows the current CPU to respond to interrupts.
• flush_tlb
  Flushes the TLB.
• halt
  Halt the current CPU.
• init_gdt
  Initializes the per-CPU TSS and GDT structures and loads them into the current CPU.
• init_idt
  Initializes the global IDT and loads it into the current CPU.
• init_syscalluspace
  Initializes syscall support and setups the syscall handler.
• 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.
• tss_get_rsp0
  Returns the stack pointer for privilege level 0 (RSP0) of the current TSS.
• tss_set_rsp0^⚠
  Sets the stack pointer for privilege level 0 (RSP0) of the current TSS.
• 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_thread_pointer^⚠
  Writes the thread pointer of the current CPU.