|
| 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 | ia32_spaces.h |
| | X86 inline asm utilities and defines.
|
| |
| file | init.h |
| | x86-64 architecture initialization
|
| |
| file | irq.h |
| | x86-32 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 | x86.h |
| | X86 inline asm utilities and defines.
|
| |
