Searched refs:GicrBaseAddress (Results 1 – 4 of 4) sorted by relevance
| /freebsd/sys/arm64/arm64/ |
| H A D | gic_v3_acpi.c | 156 SYS_RES_MEMORY, madt_data->count, intr->GicrBaseAddress, in rdist_map()
|
| /freebsd/sys/contrib/dev/acpica/common/ |
| H A D | dmtbinfo2.c | 929 … {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GicrBaseAddress), "Redistributor Base Address", 0},
957 … {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GicrBaseAddress), "Redistributor Base Address", 0},
986 … {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GicrBaseAddress), "Redistributor Base Address", 0},
|
| /freebsd/sys/contrib/dev/acpica/include/ |
| H A D | actbl2.h | 1796 UINT64 GicrBaseAddress; member
|
| /freebsd/usr.sbin/acpi/acpidump/ |
| H A D | acpi.c | 571 (uintmax_t)gicc->GicrBaseAddress); in acpi_print_madt()
|