Searched refs:acpi_root (Results 1 – 5 of 5) sorted by relevance
/netbsd-src/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; in acpi_stub_init() 189 cksum(&acpi_root, 20, &acpi_root.Checksum); in acpi_stub_init() 190 cksum(&acpi_root, sizeof(acpi_root), &acpi_root.ExtendedChecksum); in acpi_stub_init()
|
H A D | efi_stub.c | 44 extern char acpi_root[]; 51 { .ct_uuid = EFI_TABLE_ACPI20, .ct_data = &acpi_root },
|
/netbsd-src/sys/stand/efiboot/ |
H A D | efiacpi.c | 52 static void *acpi_root = NULL; variable 62 status = LibGetSystemConfigurationTable(&Acpi20TableGuid, &acpi_root); in efi_acpi_probe() 80 return acpi_root != NULL && acpi_enabled; in efi_acpi_available() 92 return acpi_root; in efi_acpi_root() 106 if (acpi_root == NULL) { in efi_acpi_enable() 146 struct acpi_rdsp *rsdp = acpi_root; in efi_acpi_show()
|
H A D | efifdt.c | 688 void *acpi_root = efi_acpi_root(); in efi_fdt_create_acpifdt() 693 if (acpi_root == NULL) in efi_fdt_create_acpifdt() 712 fdt_setprop_u64(fdt, fdt_path_offset(fdt, "/chosen"), "netbsd,acpi-root-table", (uint64_t)(uintptr_t)acpi_root); in efi_fdt_create_acpifdt() 682 void *acpi_root = efi_acpi_root(); efi_fdt_create_acpifdt() local
|
/netbsd-src/sys/arch/ia64/acpi/ |
H A D | acpi_machdep.c | 65 void *acpi_root; in acpi_md_OsGetRootPointer() local 68 acpi_root = efi_get_table(&acpi20_table); in acpi_md_OsGetRootPointer() 69 if (acpi_root == NULL) in acpi_md_OsGetRootPointer() 71 acpi_root_phys = IA64_RR_MASK((u_long)acpi_root); in acpi_md_OsGetRootPointer()
|