x86 Directory Reference

Directories
	ia32
	intel64

Files
	arch.h
	X86 specific kernel interface header.
	arch_inlines.h
	cet.h
	cpuid.h
	efi.h
	intel_vtd.h
	legacy_bios.h
	memmap.h
	mmustructs.h
	msr.h
	multiboot.h
	multiboot_info.h
	thread_stack.h
	x86_acpi.h
	x86_acpi_osal.h