Searched defs:s4bios_req (Results 1 – 2 of 2) sorted by relevance
| /openbsd-src/sys/arch/arm64/stand/efiboot/ | ||
| H A D | efiacpi.c | 131 uint8_t s4bios_req; /* value for S4 */ member |
| /openbsd-src/sys/dev/acpi/ | ||
| H A D | acpireg.h | 122 uint8_t s4bios_req; /* value for S4 */ member |