TableFromPa
uint64_t* pt = TableFromPa(ptPa);
uint64_t* ptePtr = TableFromPa(ptPa) + index;
uint64_t* ptePtr = TableFromPa(ptPa) + index;
uint64_t* TableFromPa(phys_addr_t pa);
uint64_t *pte = &TableFromPa(ptPa)[index];
uint64_t* pte = &TableFromPa(ptPa)[index];
uint64_t* newTableVa = TableFromPa(table);