Searched refs:SleepToken_low_paddr (Results 1 – 1 of 1) sorted by relevance
1221 static addr64_t SleepToken_low_paddr = (addr64_t)NULL; in cpu_machine_idle_init() local1223 SleepToken_low_paddr = ml_vtophys(sleepTokenBuffer); in cpu_machine_idle_init()1229 SleepToken_low_paddr, sizeof(SleepToken)); in cpu_machine_idle_init()