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