380 	uint64_t *pt5, *pt4, *pt3, *pt2_0, *pt2_1, *pt2_2, *pt2_3;  in acpi_install_wakeup_handler()  local
398 	pt3 = wakept_pages[1];  in acpi_install_wakeup_handler()
404 	pt3pa = vtophys(pt3);  in acpi_install_wakeup_handler()
436 	pt3[0] = (uint64_t)pt2_0pa;  in acpi_install_wakeup_handler()
437 	pt3[0] |= PG_V | PG_RW | PG_U;  in acpi_install_wakeup_handler()
438 	pt3[1] = (uint64_t)pt2_1pa;  in acpi_install_wakeup_handler()
439 	pt3[1] |= PG_V | PG_RW | PG_U;  in acpi_install_wakeup_handler()
440 	pt3[2] = (uint64_t)pt2_2pa;  in acpi_install_wakeup_handler()
441 	pt3[2] |= PG_V | PG_RW | PG_U;  in acpi_install_wakeup_handler()
442 	pt3[3] = (uint64_t)pt2_3pa;  in acpi_install_wakeup_handler()
443 	pt3[3] |= PG_V | PG_RW | PG_U;  in acpi_install_wakeup_handler()