Searched refs:hdescb (Results 1 – 1 of 1) sorted by relevance
1164 vm_offset_t hdescb = hdescseg->vmaddr; in doublemap_init() local1167 vm_offset_t hdescc = hdescb, hdesce = hdescb + hdescszr; in doublemap_init()1175 assert((hdescb & 0xFFF) == 0); in doublemap_init()1204 dblmap_dist = dblmap_base - hdescb; in doublemap_init()