SGMAP_PTE_SPACING
pte = &page_table[pteidx * SGMAP_PTE_SPACING];
pte = &page_table[pteidx * SGMAP_PTE_SPACING]) {
&page_table[extra_pteidx * SGMAP_PTE_SPACING];
&page_table[extra_pteidx * SGMAP_PTE_SPACING];
pte = &page_table[pteidx * SGMAP_PTE_SPACING];
page_table[i * SGMAP_PTE_SPACING] = 0;