Searched refs:DEVICE_GIC (Results 1 – 5 of 5) sorted by relevance
| /xen/xen/include/asm-arm/ |
| A D | device.h | 36 DEVICE_GIC, enumerator
|
| /xen/xen/arch/arm/ |
| A D | gic.c | 246 rc = device_init(node, DEVICE_GIC, NULL); in gic_dt_preinit()
274 if ( acpi_device_init(DEVICE_GIC, NULL, dist->version) ) in gic_acpi_preinit()
|
| A D | gic-v3.c | 1883 DT_DEVICE_START(gicv3, "GICv3", DEVICE_GIC)
1898 ACPI_DEVICE_START(agicv3, "GICv3", DEVICE_GIC)
1903 ACPI_DEVICE_START(agicv4, "GICv4", DEVICE_GIC)
|
| A D | gic-v2.c | 1385 DT_DEVICE_START(gicv2, "GICv2", DEVICE_GIC)
1400 ACPI_DEVICE_START(agicv2, "GICv2", DEVICE_GIC)
|
| A D | domain_build.c | 1486 if ( device_get_class(node) == DEVICE_GIC ) in handle_node()
|
Completed in 14 milliseconds