Steffen Vogel 90d884ec8d changed naming of 64bit boot paging tables according to 32bit boot tables ... calculate required boot page tables as a function of KERNEL_SPACE		2013-10-25 12:02:04 +02:00
..
x86	changed naming of 64bit boot paging tables according to 32bit boot tables	2013-10-25 12:02:04 +02:00