Home
last modified time | relevance | path

Searched refs:GicrBaseAddress (Results 1 – 4 of 4) sorted by relevance

/freebsd-14.2/sys/arm64/arm64/
H A Dgic_v3_acpi.c157 SYS_RES_MEMORY, madt_data->count, intr->GicrBaseAddress, in rdist_map()
/freebsd-14.2/sys/contrib/dev/acpica/include/
H A Dactbl2.h1309 UINT64 GicrBaseAddress; member
/freebsd-14.2/sys/contrib/dev/acpica/common/
H A Ddmtbinfo2.c862 … {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (GicrBaseAddress), "Redistributor Base Address", 0},
/freebsd-14.2/usr.sbin/acpi/acpidump/
H A Dacpi.c571 (uintmax_t)gicc->GicrBaseAddress); in acpi_print_madt()