Barrelfish
x86_64 Directory Reference

Files

file  arch_gdb_stub.h
 Header for x86-specific GDB stub code.
 
file  cpuid_spaces.h
 Address-space support for Mackerel CPUID device definitions.
 
file  fpu.h
 FPU lazy context switch support.
 
file  init.h
 x86-64 architecture initialization
 
file  irq.h
 x86-64 interrupt/exception handling
 
file  kputchar.h
 A struct for all shared data between the kernels.
 
file  misc.h
 Miscellaneous architecture-specific functions.
 
file  offsets.h
 
file  paging_kernel_arch.h
 Architecture specific kernel page table definitions.
 
file  svm_vmkit.h
 Contains VMKit kernel interface for version using SVM extensions.
 
file  vmkit.h
 VMKit Kernel interface.
 
file  vmx_checks.h
 Functions used in the rigorous checks that are performed (optionally) before launching and/or resuming a VM-guest.
 
file  vmx_vmkit.h
 Contains VMKit kernel interface for version using VMX extensions.
 
file  x86.h
 X86 inline asm utilities and defines.