Searched full:vgic (Results 1 – 17 of 17) sorted by relevance
| /freebsd/sys/arm64/vmm/io/ |
| H A D | vgic_v3.c | 73 #include "vgic.h" 85 MALLOC_DEFINE(M_VGIC_V3, "ARM VMM VGIC V3", "ARM VMM VGIC V3"); 442 struct vgic_v3 *vgic; in vgic_v3_vminit() local 444 hyp->vgic = malloc(sizeof(*hyp->vgic), M_VGIC_V3, in vgic_v3_vminit() 446 vgic = hyp->vgic; in vgic_v3_vminit() 457 vgic->gicd_ctlr = 0; in vgic_v3_vminit() 459 mtx_init(&vgic->dist_mtx, "VGICv3 Distributor lock", NULL, in vgic_v3_vminit() 480 mtx_init(&irq->irq_spinmtx, "VGIC IRQ spinlock", NULL, in vgic_v3_cpuinit() 556 mtx_destroy(&hyp->vgic->dist_mtx); in vgic_v3_vmcleanup() 557 free(hyp->vgic, M_VGIC_V3); in vgic_v3_vmcleanup() [all …]
|
| H A D | vtimer.c | 51 #include "vgic.h"
|
| /freebsd/sys/arm64/vmm/ |
| H A D | vmm_dev_machdep.c | 50 #include "io/vgic.h" 112 /* TODO: Query the vgic driver for this */ in vmmdev_machdep_ioctl() 119 struct vm_vgic_descr *vgic; in vmmdev_machdep_ioctl() local 121 vgic = (struct vm_vgic_descr *)data; in vmmdev_machdep_ioctl() 122 error = vm_attach_vgic(vm, vgic); in vmmdev_machdep_ioctl()
|
| H A D | arm64.h | 135 struct vgic_v3 *vgic; member
|
| H A D | vmm_arm64.c | 67 #include "io/vgic.h" 251 printf("vmm: No vgic found\n"); in vmmops_modinit()
|
| H A D | vmm.c | 74 #include "io/vgic.h"
|
| /freebsd/sys/arm64/arm64/ |
| H A D | gic_v3_acpi.c | 233 /* Flag that the VGIC is in use */ in gic_v3_acpi_identify() 451 /* Add the vgic child if needed */ in gic_v3_acpi_bus_attach() 453 child = device_add_child(dev, "vgic", DEVICE_UNIT_ANY); in gic_v3_acpi_bus_attach() 455 device_printf(dev, "Could not add vgic child\n"); in gic_v3_acpi_bus_attach()
|
| H A D | gic_v3_fdt.c | 362 * If there is a vgic maintanance interrupt add a virtual gic in gic_v3_ofw_bus_attach() 366 child = device_add_child(dev, "vgic", DEVICE_UNIT_ANY); in gic_v3_ofw_bus_attach() 368 device_printf(dev, "Could not add vgic child\n"); in gic_v3_ofw_bus_attach()
|
| /freebsd/sys/arm/arm/ |
| H A D | gic_common.h | 50 __BUS_ACCESSOR(gic, vgic, GIC, VGIC, u_int);
|
| /freebsd/sys/contrib/device-tree/Bindings/interrupt-controller/ |
| H A D | arm,gic.yaml | 102 required for specifying the base physical address and size of the VGIC 113 secondary GICs, or VGIC maintenance interrupt on primary GIC (see
|
| H A D | arm,gic-v3.yaml | 91 Interrupt source of the VGIC maintenance interrupt.
|
| /freebsd/sys/contrib/xen/ |
| H A D | arch-arm.h | 402 * vGIC mappings: Only one set of mapping is used by the guest. 406 /* vGIC v2 mappings */ 412 /* vGIC v3 mappings */
|
| /freebsd/sys/contrib/device-tree/src/arm64/intel/ |
| H A D | keembay-soc.dtsi | 59 /* VGIC maintenance interrupt */
|
| /freebsd/sys/modules/vmm/ |
| H A D | Makefile | 38 SRCS+= vgic.c \
|
| /freebsd/sys/conf/ |
| H A D | files.arm64 | 155 arm64/vmm/io/vgic.c optional vmm
|
| /freebsd/usr.sbin/acpi/acpidump/ |
| H A D | acpi.c | 423 printf(", VGIC intr="); in acpi_print_gicc_flags()
|
| /freebsd/sys/contrib/dev/acpica/include/ |
| H A D | actbl2.h | 1658 #define ACPI_MADT_VGIC_IRQ_MODE (1<<2) /* 02: VGIC Maintenance Interrupt mode */
|