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