Searched refs:gicr (Results 1 – 1 of 1) sorted by relevance
485 ACPI_MADT_GENERIC_REDISTRIBUTOR *gicr; in acpi_print_madt() local584 gicr = (ACPI_MADT_GENERIC_REDISTRIBUTOR *)mp; in acpi_print_madt()585 printf("\tBase ADDR=%016jx\n", (uintmax_t)gicr->BaseAddress); in acpi_print_madt()586 printf("\tLength=%08x\n", gicr->Length); in acpi_print_madt()