/src/sys/arch/ia64/acpi/ |
acpi_machdep.c | 65 void *acpi_root; local in function:acpi_md_OsGetRootPointer 68 acpi_root = efi_get_table(&acpi20_table); 69 if (acpi_root == NULL) 71 acpi_root_phys = IA64_RR_MASK((u_long)acpi_root);
|
/src/sys/arch/ia64/stand/ia64/ski/ |
acpi_stub.c | 160 ACPI_TABLE_RSDP acpi_root = { variable in typeref:typename:ACPI_TABLE_RSDP 188 acpi_root.XsdtPhysicalAddress = (UINT64)&xsdt; 189 cksum(&acpi_root, 20, &acpi_root.Checksum); 190 cksum(&acpi_root, sizeof(acpi_root), &acpi_root.ExtendedChecksum);
|
/src/sys/stand/efiboot/ |
efiacpi.c | 52 static void *acpi_root = NULL; variable in typeref:typename:void * 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 in function:efi_fdt_create_acpifdt 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);
|