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