FreeTable
FreeTable(fPageTable, 0, fInitialLevel, &reservation);
FreeTable(oldPte & kPteAddrMask, nextVa, level + 1, reservation);
void FreeTable(phys_addr_t ptPa, uint64_t va, int level, vm_page_reservation* reservation);