|
| 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.
|
| |
