| /freebsd-src/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()
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 in vgic_v3_vminit()
441 struct vgic_v3 *vgic; vgic_v3_vminit() local
562 struct vgic_v3 *vgic; vgic_v3_max_cpu_count() local
996 struct vgic_v3 *vgic; dist_ctlr_read() local
1013 struct vgic_v3 *vgic; dist_ctlr_write() local
1374 struct vgic_v3 *vgic; dist_read() local
1412 struct vgic_v3 *vgic; dist_write() local
1617 struct vgic_v3 *vgic; redist_read() local
1695 struct vgic_v3 *vgic; redist_write() local
1832 struct vgic_v3 *vgic; vgic_v3_mmio_init() local
1854 struct vgic_v3 *vgic; vgic_v3_mmio_destroy() local
1872 struct vgic_v3 *vgic; vgic_v3_attach_to_vm() local
2084 struct vgic_v3 *vgic; vgic_v3_inject_msi() local
[all...] |
| H A D | vgic.c | 33 #include "vgic.h"
99 /* TODO: Add a vgic interface */
|
| H A D | vgic_if.m | 28 INTERFACE vgic;
|
| H A D | vgic_v3_reg.h | 109 /* Interrupt Controller VGIC Type Register */
|
| H A D | vtimer.c | 50 #include "vgic.h"
|
| /freebsd-src/lib/libvmmapi/aarch64/ |
| H A D | vmmapi_machdep.c | 63 struct vm_vgic_descr vgic; in vm_attach_vgic() local
66 bzero(&vgic, sizeof(vgic)); in vm_attach_vgic()
67 error = ioctl(ctx->fd, VM_GET_VGIC_VERSION, &vgic.ver); in vm_attach_vgic()
70 assert(vgic.ver.version == 3); in vm_attach_vgic()
71 vgic.v3_regs.dist_start = dist_start; in vm_attach_vgic()
72 vgic.v3_regs.dist_size = dist_size; in vm_attach_vgic()
73 vgic.v3_regs.redist_start = redist_start; in vm_attach_vgic()
74 vgic.v3_regs.redist_size = redist_size; in vm_attach_vgic()
76 return (ioctl(ctx->fd, VM_ATTACH_VGIC, &vgic)); in vm_attach_vgic()
|
| /freebsd-src/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", -1); 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", -1); in gic_v3_ofw_bus_attach()
368 device_printf(dev, "Could not add vgic child\n"); in gic_v3_ofw_bus_attach()
|
| /freebsd-src/sys/arm/arm/ |
| H A D | gic_common.h | 50 __BUS_ACCESSOR(gic, vgic, GIC, VGIC, u_int);
|
| /freebsd-src/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-src/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-src/sys/arm64/vmm/ |
| H A D | vmm_dev.c | |
| H A D | arm64.h | 128 struct vgic_v3 *vgic; member
|
| H A D | vmm_arm64.c | 65 #include "io/vgic.h"
250 printf("vmm: No vgic found\n"); in vmmops_modinit()
|
| H A D | vmm.c | 73 #include "io/vgic.h"
|
| /freebsd-src/sys/contrib/device-tree/src/arm64/intel/ |
| H A D | keembay-soc.dtsi | 59 /* VGIC maintenance interrupt */
|
| /freebsd-src/sys/modules/vmm/ |
| H A D | Makefile | 37 SRCS+= vgic.c \
|
| /freebsd-src/sys/conf/ |
| H A D | files.arm64 | 151 arm64/vmm/io/vgic.c optional vmm
|
| /freebsd-src/usr.sbin/acpi/acpidump/ |
| H A D | acpi.c | 423 printf(", VGIC intr="); in acpi_print_gicc_flags()
|
| /freebsd-src/sys/contrib/dev/acpica/include/ |
| H A D | actbl2.h | 1425 #define ACPI_MADT_VGIC_IRQ_MODE (1<<2) /* 02: VGIC Maintenance Interrupt mode */
|