x_firmware_ctl    470 dev/acpi/acpi.c 	if (sc->sc_fadt->hdr_revision < 3 || sc->sc_fadt->x_firmware_ctl == 0)
x_firmware_ctl    473 dev/acpi/acpi.c 		facspa = sc->sc_fadt->x_firmware_ctl;
x_firmware_ctl    186 dev/acpi/acpireg.h 	u_int64_t	x_firmware_ctl;