sys/arm64/vmm/arm64.h

153

struct vgic_v3 *vgic;

sys/arm64/vmm/arm64.h

39

struct vgic_v3;

sys/arm64/vmm/io/vgic_v3.c

1015

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

1376

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

1414

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

1619

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

1697

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

1834

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

1856

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

1874

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

2086

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

2350

DRIVER_MODULE(vgic_v3, gic, vgic_v3_driver, 0, 0);

sys/arm64/vmm/io/vgic_v3.c

443

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

564

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

998

struct vgic_v3 *vgic;