x86 Directory Reference

Directories
directory	ia32
directory	intel64

Files
file	arch.h [code]
file	arch_inlines.h [code]
file	cpuid.h [code]
file	efi.h [code]
file	intel_vtd.h [code]
file	legacy_bios.h [code]
file	memmap.h [code]
file	mmustructs.h [code]
file	msr.h [code]
file	multiboot.h [code]
file	thread_stack.h [code]
file	x86_acpi_osal.h [code]