67d66
< const uint64_t syscallCodePhysAddr = 0x60000;
69d67
< const uint64_t GDTPhysAddr = 0x61000;
71d68
< const uint64_t IDTPhysAddr = 0x62000;
75d71
< const uint64_t ISTPhysAddr = 0x64000;
77d72
< const uint64_t PFHandlerPhysAddr = 0x65000;
80,81d74
<
< const uint64_t pageTablePhysAddr = 0x70000;