| H A D | vgic_init.c | 1 // SPDX-License-Identifier: GPL-2.0 71 return __vcpu_run(vcpu) ? -errno : 0; in run_vcpu() 101 close(v->gic_fd); in vm_gic_destroy() 102 kvm_vm_free(v->vm); in vm_gic_destroy() 150 rdist = VGIC_DEV_IS_V3(v->gic_dev_type) ? gic_v3_redist_region in subtest_dist_rdist() 152 dist = VGIC_DEV_IS_V3(v->gic_dev_type) ? gic_v3_dist_region in subtest_dist_rdist() 156 kvm_has_device_attr(v->gic_fd, KVM_DEV_ARM_VGIC_GRP_ADDR, dist.attr); in subtest_dist_rdist() 158 kvm_has_device_attr(v->gic_f in subtest_dist_rdist() 824 test_sysreg_array(int gic,const struct sr_def * sr,int nr,int (* check)(int,const struct sr_def *,const char *)) test_sysreg_array() argument 858 get_ctlr_pribits(int gic) get_ctlr_pribits() argument 874 check_unaccessible_el1_regs(int gic,const struct sr_def * sr,const char * what) check_unaccessible_el1_regs() argument 897 get_vtr_pribits(int gic) get_vtr_pribits() argument 913 check_unaccessible_el2_regs(int gic,const struct sr_def * sr,const char * what) check_unaccessible_el2_regs() argument 942 int gic; test_v3_sysregs() local [all...] |