Lines Matching defs:facs
129 static void acpi_print_facs(ACPI_TABLE_FACS *facs);
831 ACPI_TABLE_FACS *facs;
841 facs = (ACPI_TABLE_FACS *)acpi_map_sdt(
843 if (memcmp(facs->Signature, ACPI_SIG_FACS, 4) != 0 || facs->Length < 64)
845 acpi_print_facs(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)