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