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