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