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