Lines Matching defs:fadt
58 static int acpi_get_fadt_revision(ACPI_TABLE_FADT *fadt);
59 static void acpi_handle_fadt(ACPI_TABLE_HEADER *fadt);
229 acpi_get_fadt_revision(ACPI_TABLE_FADT *fadt __unused)
249 if (fadt->Facs != 0 &&
250 (fadt->XFacs & 0xffffffff) != fadt->Facs)
263 ACPI_TABLE_FADT *fadt;
267 fadt = (ACPI_TABLE_FADT *)sdp;
270 fadt_revision = acpi_get_fadt_revision(fadt);
272 addr = fadt->Facs;
274 addr = fadt->XFacs;
285 dsdp = (ACPI_TABLE_HEADER *)acpi_map_sdt(fadt->Dsdt);
287 dsdp = (ACPI_TABLE_HEADER *)acpi_map_sdt(fadt->XDsdt);
2330 ACPI_TABLE_FADT *fadt;
2333 fadt = (ACPI_TABLE_FADT *)sdp;
2336 printf(" \tFACS=0x%x, DSDT=0x%x\n", fadt->Facs,
2337 fadt->Dsdt);
2338 printf("\tINT_MODEL=%s\n", fadt->Model ? "APIC" : "PIC");
2339 if (fadt->PreferredProfile >= sizeof(acpi_pm_profiles) / sizeof(char *))
2342 pm = acpi_pm_profiles[fadt->PreferredProfile];
2343 printf("\tPreferred_PM_Profile=%s (%d)\n", pm, fadt->PreferredProfile);
2344 printf("\tSCI_INT=%d\n", fadt->SciInterrupt);
2345 printf("\tSMI_CMD=0x%x, ", fadt->SmiCommand);
2346 printf("ACPI_ENABLE=0x%x, ", fadt->AcpiEnable);
2347 printf("ACPI_DISABLE=0x%x, ", fadt->AcpiDisable);
2348 printf("S4BIOS_REQ=0x%x\n", fadt->S4BiosRequest);
2349 printf("\tPSTATE_CNT=0x%x\n", fadt->PstateControl);
2351 fadt->Pm1aEventBlock,
2352 fadt->Pm1aEventBlock + fadt->Pm1EventLength - 1);
2353 if (fadt->Pm1bEventBlock != 0)
2355 fadt->Pm1bEventBlock,
2356 fadt->Pm1bEventBlock + fadt->Pm1EventLength - 1);
2358 fadt->Pm1aControlBlock,
2359 fadt->Pm1aControlBlock + fadt->Pm1ControlLength - 1);
2360 if (fadt->Pm1bControlBlock != 0)
2362 fadt->Pm1bControlBlock,
2363 fadt->Pm1bControlBlock + fadt->Pm1ControlLength - 1);
2364 if (fadt->Pm2ControlBlock != 0)
2366 fadt->Pm2ControlBlock,
2367 fadt->Pm2ControlBlock + fadt->Pm2ControlLength - 1);
2369 fadt->PmTimerBlock,
2370 fadt->PmTimerBlock + fadt->PmTimerLength - 1);
2371 if (fadt->Gpe0Block != 0)
2373 fadt->Gpe0Block,
2374 fadt->Gpe0Block + fadt->Gpe0BlockLength - 1);
2375 if (fadt->Gpe1Block != 0)
2377 fadt->Gpe1Block,
2378 fadt->Gpe1Block + fadt->Gpe1BlockLength - 1,
2379 fadt->Gpe1Base);
2380 if (fadt->CstControl != 0)
2381 printf("\tCST_CNT=0x%x\n", fadt->CstControl);
2383 fadt->C2Latency, fadt->C3Latency);
2385 fadt->FlushSize, fadt->FlushStride);
2387 fadt->DutyOffset, fadt->DutyWidth);
2389 fadt->DayAlarm, fadt->MonthAlarm, fadt->Century);
2394 PRINTFLAG(fadt->BootFlags, LEGACY_DEVICES);
2395 PRINTFLAG(fadt->BootFlags, 8042);
2396 PRINTFLAG(fadt->BootFlags, NO_VGA);
2397 PRINTFLAG(fadt->BootFlags, NO_MSI);
2398 PRINTFLAG(fadt->BootFlags, NO_ASPM);
2399 PRINTFLAG(fadt->BootFlags, NO_CMOS_RTC);
2403 PRINTFLAG(fadt->Flags, WBINVD);
2404 PRINTFLAG(fadt->Flags, WBINVD_FLUSH);
2405 PRINTFLAG(fadt->Flags, C1_SUPPORTED);
2406 PRINTFLAG(fadt->Flags, C2_MP_SUPPORTED);
2407 PRINTFLAG(fadt->Flags, POWER_BUTTON);
2408 PRINTFLAG(fadt->Flags, SLEEP_BUTTON);
2409 PRINTFLAG(fadt->Flags, FIXED_RTC);
2410 PRINTFLAG(fadt->Flags, S4_RTC_WAKE);
2411 PRINTFLAG(fadt->Flags, 32BIT_TIMER);
2412 PRINTFLAG(fadt->Flags, DOCKING_SUPPORTED);
2413 PRINTFLAG(fadt->Flags, RESET_REGISTER);
2414 PRINTFLAG(fadt->Flags, SEALED_CASE);
2415 PRINTFLAG(fadt->Flags, HEADLESS);
2416 PRINTFLAG(fadt->Flags, SLEEP_TYPE);
2417 PRINTFLAG(fadt->Flags, PCI_EXPRESS_WAKE);
2418 PRINTFLAG(fadt->Flags, PLATFORM_CLOCK);
2419 PRINTFLAG(fadt->Flags, S4_RTC_VALID);
2420 PRINTFLAG(fadt->Flags, REMOTE_POWER_ON);
2421 PRINTFLAG(fadt->Flags, APIC_CLUSTER);
2422 PRINTFLAG(fadt->Flags, APIC_PHYSICAL);
2423 PRINTFLAG(fadt->Flags, HW_REDUCED);
2424 PRINTFLAG(fadt->Flags, LOW_POWER_S0);
2429 if (fadt->Flags & ACPI_FADT_RESET_REGISTER) {
2431 acpi_print_gas(&fadt->ResetRegister);
2432 printf(", RESET_VALUE=%#x\n", fadt->ResetValue);
2434 if (acpi_get_fadt_revision(fadt) > 1) {
2435 printf("\tX_FACS=0x%016jx, ", (uintmax_t)fadt->XFacs);
2436 printf("X_DSDT=0x%016jx\n", (uintmax_t)fadt->XDsdt);
2438 acpi_print_gas(&fadt->XPm1aEventBlock);
2439 if (fadt->XPm1bEventBlock.Address != 0) {
2441 acpi_print_gas(&fadt->XPm1bEventBlock);
2444 acpi_print_gas(&fadt->XPm1aControlBlock);
2445 if (fadt->XPm1bControlBlock.Address != 0) {
2447 acpi_print_gas(&fadt->XPm1bControlBlock);
2449 if (fadt->XPm2ControlBlock.Address != 0) {
2451 acpi_print_gas(&fadt->XPm2ControlBlock);
2454 acpi_print_gas(&fadt->XPmTimerBlock);
2455 if (fadt->XGpe0Block.Address != 0) {
2457 acpi_print_gas(&fadt->XGpe0Block);
2459 if (fadt->XGpe1Block.Address != 0) {
2461 acpi_print_gas(&fadt->XGpe1Block);
2859 dsdt_from_fadt(ACPI_TABLE_FADT *fadt)
2864 if (acpi_get_fadt_revision(fadt) == 1)
2865 sdt = (ACPI_TABLE_HEADER *)acpi_map_sdt(fadt->Dsdt);
2867 sdt = (ACPI_TABLE_HEADER *)acpi_map_sdt(fadt->XDsdt);