HomeSort by: relevance | last modified time | path
    Searched refs:acpi_root (Results 1 - 5 of 5) sorted by relevancy

  /src/sys/arch/ia64/stand/ia64/ski/
acpi_stub.c 160 ACPI_TABLE_RSDP acpi_root = { variable
188 acpi_root.XsdtPhysicalAddress = (UINT64)&xsdt;
189 cksum(&acpi_root, 20, &acpi_root.Checksum);
190 cksum(&acpi_root, sizeof(acpi_root), &acpi_root.ExtendedChecksum);
efi_stub.c 44 extern char acpi_root[];
51 { .ct_uuid = EFI_TABLE_ACPI20, .ct_data = &acpi_root },
  /src/sys/stand/efiboot/
efiacpi.c 52 static void *acpi_root = NULL; variable
62 status = LibGetSystemConfigurationTable(&Acpi20TableGuid, &acpi_root);
80 return acpi_root != NULL && acpi_enabled;
92 return acpi_root;
106 if (acpi_root == NULL) {
146 struct acpi_rdsp *rsdp = acpi_root;
efifdt.c 688 void *acpi_root = efi_acpi_root(); local
693 if (acpi_root == NULL)
712 fdt_setprop_u64(fdt, fdt_path_offset(fdt, "/chosen"), "netbsd,acpi-root-table", (uint64_t)(uintptr_t)acpi_root);
  /src/sys/arch/ia64/acpi/
acpi_machdep.c 65 void *acpi_root; local
68 acpi_root = efi_get_table(&acpi20_table);
69 if (acpi_root == NULL)
71 acpi_root_phys = IA64_RR_MASK((u_long)acpi_root);

Completed in 31 milliseconds