|
| file | debug.c |
| | Kernel debugging functions.
|
| |
| file | exec.c |
| | x86-64 execution and miscellany
|
| |
| file | gdb_arch.c |
| | x86-specific parts of in-kernel GDB stub.
|
| |
| file | init.c |
| | x86-64 architecture initialization.
|
| |
| file | irq.c |
| | x86-64 interrupt/exception handling utility functions
|
| |
| file | microbenchmarks.c |
| | Architecture-specific microbenchmarks.
|
| |
| file | page_mappings_arch.c |
| |
| file | paging.c |
| | x86-64 kernel page-table setup
|
| |
| file | startup_arch.c |
| | x86_64 kernel bootup code.
|
| |
| file | svm_vmkit.c |
| | Contains VMKit kernel interface for version using SVM extensions.
|
| |
| file | syscall.c |
| | System calls implementation.
|
| |
| file | vmkit.c |
| | VMKit Kernel interface.
|
| |
| file | vmx_checks.c |
| | Before entry into a VM-guest commences, the state of logical processor and VMCS are checked to ensure that the following will transpire successfully:
|
| |
| file | vmx_vmkit.c |
| | Contains VMKit kernel interface for version using VMX extensions.
|
| |
