firmware_ctl 471 dev/acpi/acpi.c facspa = sc->sc_fadt->firmware_ctl; firmware_ctl 104 dev/acpi/acpireg.h u_int32_t firmware_ctl; /* phys addr FACS */