GEN6_PTES
unsigned int act_pt = first_entry / GEN6_PTES;
unsigned int act_pte = first_entry % GEN6_PTES;
if (++act_pte == GEN6_PTES) {
unsigned int pde = first_entry / GEN6_PTES;
unsigned int pte = first_entry % GEN6_PTES;
const unsigned int count = min(num_entries, GEN6_PTES - pte);