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