Searched refs:acpi_root (Results 1 - 5 of 5) sorted by relevance
/netbsd-current/sys/arch/ia64/stand/ia64/ski/ |
H A D | 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);
|
H A D | efi_stub.c | 44 extern char acpi_root[]; 51 { .ct_uuid = EFI_TABLE_ACPI20, .ct_data = &acpi_root },
|
/netbsd-current/sys/stand/efiboot/ |
H A D | 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;
|
H A D | efifdt.c | 682 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 D | 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 204 milliseconds