Searched refs:hdescc (Results 1 – 1 of 1) sorted by relevance
1169 vm_offset_t hdescc = hdescb, hdesce = hdescb + hdescszr; in doublemap_init() local1179 for (int i = 0; hdescc < hdesce; i++) { in doublemap_init()1185 int hdescn = (int) ((hdesce - hdescc) / PAGE_SIZE); in doublemap_init()1188 if ((hdescc >= thdescb) && (hdescc < thdesce)) { in doublemap_init()1193 dblmapL1[0].entries[j] = ((uintptr_t)ID_MAP_VTOP(hdescc)) | template; in doublemap_init()1194 hdescc += PAGE_SIZE; in doublemap_init()