Searched refs:hdescszr (Results 1 – 1 of 1) sorted by relevance
1166 unsigned long hdescszr = round_page_64(hdescsz); in doublemap_init() local1167 vm_offset_t hdescc = hdescb, hdesce = hdescb + hdescszr; in doublemap_init()1199 dblmap_max = dblmap_base + hdescszr; in doublemap_init()