Home | History | Annotate | Download | only in bios

Lines Matching full:waking

1315 	uint32_t                             firmware_waking_vector; /* ACPI OS waking vector */
1777     BX_INFO("Firmware waking vector %p\n", &facs->firmware_waking_vector);