ACPI_WAKEPT_PAGES
void *wakept_pages[ACPI_WAKEPT_PAGES])
vm_page_t wakept_m[ACPI_WAKEPT_PAGES];
memset(wakept_pages, 0, ACPI_WAKEPT_PAGES * sizeof(*wakept_pages));
memset(wakept_m, 0, ACPI_WAKEPT_PAGES * sizeof(*wakept_m));
for (i = 0; i < ACPI_WAKEPT_PAGES - (la57 ? 0 : 1); i++) {
for (i = 0; i < ACPI_WAKEPT_PAGES; i++) {
void *wakept_pages[ACPI_WAKEPT_PAGES];