Searched refs:firmware_waking_vector (Results 1 – 1 of 1) sorted by relevance
1315 uint32_t firmware_waking_vector; /* ACPI OS waking vector */ member1777 BX_INFO("Firmware waking vector %p\n", &facs->firmware_waking_vector); in acpi_bios_init()2655 return facs->firmware_waking_vector; in find_resume_vector()