Files | |
file | acpi.h [code] |
Advanced Configuration and Power Interface. | |
file | apic.h [code] |
Intel Advanced Programmable Interrupt Controller. | |
file | arch/ia32/include/atomic.h [code] |
file | descriptor.h [code] |
Generic ia32 descriptors. | |
file | ia32_marrow.h [code] |
file | idt.h [code] |
IA-32 interrupt descriptor table. | |
file | idttrampoline.h [code] |
file | ioapic.h [code] |
Intel 82093 I/O Advanced Programmable Interrupt Controller. | |
file | arch/ia32/include/kstreambuf.h [code] |
file | arch/ia32/include/memory.h [code] |
file | mps.h [code] |
Intel Multiprocessor Specification. | |
file | multiboot.h [code] |
A ia32-specific system startup method. | |
file | pagetable.h [code] |
IA-32 page table definitions. | |
file | registers.h [code] |
file | arch/ia32/include/types.h [code] |
file | vgastreambuf.h [code] |
A IOStreams streambuf that writes to the VGA buffer. |