VADDR_TO_PTE
uint64* pte = &virtualPageTable[VADDR_TO_PTE(virtualAddress)];
return &virtualPageTable[VADDR_TO_PTE(virtualAddress)];
entry = virtualPageTable[VADDR_TO_PTE(virtualAddress)];