Lines Matching defs:facs
129 static void acpi_print_facs(ACPI_TABLE_FACS *facs);
831 ACPI_TABLE_FACS *facs;
837 if (acpi_select_address(fadt->Facs, fadt->XFacs) == 0) {
839 errx(EXIT_FAILURE, "Missing FACS and HW_REDUCED_ACPI flag not set in FADT");
841 facs = (ACPI_TABLE_FACS *)acpi_map_sdt(
842 acpi_select_address(fadt->Facs, fadt->XFacs));
843 if (memcmp(facs->Signature, ACPI_SIG_FACS, 4) != 0 || facs->Length < 64)
844 errx(EXIT_FAILURE, "FACS is corrupt");
845 acpi_print_facs(facs);
4208 printf(" \tFACS=0x%x, DSDT=0x%x\n", fadt->Facs,
4378 acpi_print_facs(ACPI_TABLE_FACS *facs)
4381 printf(" FACS:\tLength=%u, ", facs->Length);
4382 printf("HwSig=0x%08x, ", facs->HardwareSignature);
4383 printf("Firm_Wake_Vec=0x%08x\n", facs->FirmwareWakingVector);
4388 PRINTFLAG(facs->GlobalLock, PENDING);
4389 PRINTFLAG(facs->GlobalLock, OWNED);
4397 PRINTFLAG(facs->Flags, S4_BIOS_PRESENT);
4398 PRINTFLAG(facs->Flags, 64BIT_WAKE);
4403 if (facs->XFirmwareWakingVector != 0)
4405 (uintmax_t)facs->XFirmwareWakingVector);
4406 printf("\tVersion=%u\n", facs->Version);
4409 if (facs->OspmFlags & ACPI_FACS_64BIT_ENVIRONMENT)