x86_64 Directory Reference

Files
file	offsets_target.h
	X86-64 address space sizes and offsets.
file	paging_kernel_target.h
	x86-64 kernel page-table structures.