Home
last modified time | relevance | path

Searched defs:x_firmware_ctl (Results 1 – 2 of 2) sorted by relevance

/openbsd-src/sys/arch/arm64/stand/efiboot/
H A Defiacpi.c198 uint64_t x_firmware_ctl; member
/openbsd-src/sys/dev/acpi/
H A Dacpireg.h189 uint64_t x_firmware_ctl; member