Searched refs:randL3 (Results 1 – 1 of 1) sorted by relevance
1148 doublemap_init(uint8_t randL3) in doublemap_init() argument1158 dblmapL3[randL3] = ((uintptr_t)ID_MAP_VTOP(&dblmapL2[0])) in doublemap_init()1198 dblmap_base = KVADDR(KERNEL_DBLMAP_PML4_INDEX, randL3, 0, 0); in doublemap_init()