Searched refs:rand64 (Results 1 – 1 of 1) sorted by relevance
387 uint64_t rand64; in Idle_PTs_init() local419 rand64 = early_random(); in Idle_PTs_init()420 physmap_init(rand64 & 0xFF, &new_physmap_base, &new_physmap_max); in Idle_PTs_init()421 doublemap_init((rand64 >> 8) & 0xFF); in Idle_PTs_init()