Searched refs:acpi_root (Results 1 - 5 of 5) sorted by relevance

/netbsd-current/sys/arch/ia64/stand/ia64/ski/
H A Dacpi_stub.c160 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);
H A Defi_stub.c44 extern char acpi_root[];
51 { .ct_uuid = EFI_TABLE_ACPI20, .ct_data = &acpi_root },
/netbsd-current/sys/stand/efiboot/
H A Defiacpi.c52 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;
H A Defifdt.c682 void *acpi_root = efi_acpi_root(); local
687 if (acpi_root == NULL)
706 fdt_setprop_u64(fdt, fdt_path_offset(fdt, "/chosen"), "netbsd,acpi-root-table", (uint64_t)(uintptr_t)acpi_root);
/netbsd-current/sys/arch/ia64/acpi/
H A Dacpi_machdep.c65 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 204 milliseconds