Changed the x86 architecture to have tPAddr be 64-bits always
[tpg/acess2.git] / Kernel / arch / x86 / include /
drwxr-xr-x   ..
-rw-r--r-- 2849 arch.h
-rw-r--r-- 309 mm_phys.h
-rw-r--r-- 377 mm_virt.h
-rw-r--r-- 261 mp.h
-rw-r--r-- 594 proc.h

UCC git Repository :: git.ucc.asn.au