sys/arm64/vmm/arm64.h

136

struct vgic_v3_cpu *vgic_cpu;

sys/arm64/vmm/arm64.h

40

struct vgic_v3_cpu;

sys/arm64/vmm/io/vgic_v3.c

1943

struct vgic_v3_cpu *vgic_cpu;

sys/arm64/vmm/io/vgic_v3.c

1981

struct vgic_v3_cpu *vgic_cpu;

sys/arm64/vmm/io/vgic_v3.c

2016

struct vgic_v3_cpu *vgic_cpu;

sys/arm64/vmm/io/vgic_v3.c

2106

struct vgic_v3_cpu *vgic_cpu;

sys/arm64/vmm/io/vgic_v3.c

2182

struct vgic_v3_cpu *vgic_cpu;

sys/arm64/vmm/io/vgic_v3.c

467

struct vgic_v3_cpu *vgic_cpu;

sys/arm64/vmm/io/vgic_v3.c

540

struct vgic_v3_cpu *vgic_cpu;

sys/arm64/vmm/io/vgic_v3.c

599

vgic_v3_queue_irq(struct hyp *hyp, struct vgic_v3_cpu *vgic_cpu,

sys/arm64/vmm/io/vgic_v3.c

734

struct vgic_v3_cpu *vgic_cpu;

sys/arm64/vmm/io/vgic_v3.c

812

struct vgic_v3_cpu *vgic_cpu;