Searched refs:gicd (Results 1 – 1 of 1) sorted by relevance
484 ACPI_MADT_GENERIC_DISTRIBUTOR *gicd; in acpi_print_madt() local577 gicd = (ACPI_MADT_GENERIC_DISTRIBUTOR *)mp; in acpi_print_madt()578 printf("\tGIC ID=%d\n", (u_int)gicd->GicId); in acpi_print_madt()579 printf("\tBase ADDR=%016jx\n", (uintmax_t)gicd->BaseAddress); in acpi_print_madt()580 printf("\tVector Base=%d\n", gicd->GlobalIrqBase); in acpi_print_madt()581 printf("\tGIC VERSION=%d\n", (u_int)gicd->Version); in acpi_print_madt()