sys/arm64/vmm/arm64.h

287

} vgic_v3;

sys/arm64/vmm/arm64.h

354

struct vgic_v3 *vgic;

sys/arm64/vmm/arm64.h

39

struct vgic_v3;

sys/arm64/vmm/io/vgic_v3.c

1016

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

1377

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

1415

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

1620

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

1698

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

1835

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

1857

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

1875

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

2087

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

2133

(1u << hypctx->vgic_v3.ich_lr_num) - 1);

sys/arm64/vmm/io/vgic_v3.c

2136

if (i == hypctx->vgic_v3.ich_lr_num)

sys/arm64/vmm/io/vgic_v3.c

2358

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

529

hypctx->vgic_v3.ich_lr_num = virt_features.ich_lr_num;

sys/arm64/vmm/io/vgic_v3.c

530

for (i = 0; i < hypctx->vgic_v3.ich_lr_num; i++)

sys/arm64/vmm/io/vgic_v3.c

535

hypctx->vgic_v3.ich_apr_num = virt_features.ich_apr_num;

sys/arm64/vmm/io/vgic_v3.c

565

struct vgic_v3 *vgic;

sys/arm64/vmm/io/vgic_v3.c

999

struct vgic_v3 *vgic;

sys/arm64/vmm/vmm_hyp.c

193

switch (hypctx->vgic_v3.ich_lr_num - 1) {

sys/arm64/vmm/vmm_hyp.c

218

switch (hypctx->vgic_v3.ich_apr_num - 1) {

sys/arm64/vmm/vmm_hyp.c

644

switch (hypctx->vgic_v3.ich_lr_num - 1) {

sys/arm64/vmm/vmm_hyp.c

669

switch (hypctx->vgic_v3.ich_apr_num - 1) {