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