Searched refs:rand64 (Results 1 – 1 of 1) sorted by relevance
391 uint64_t rand64; in Idle_PTs_init() local423 rand64 = early_random(); in Idle_PTs_init()424 physmap_init(rand64 & 0xFF, &new_physmap_base, &new_physmap_max); in Idle_PTs_init()425 doublemap_init((rand64 >> 8) & 0xFF); in Idle_PTs_init()