Searched refs:__vgic_v3_init (Results 1 – 3 of 3) sorted by relevance
74 void __vgic_v3_init(int fd) in __vgic_v3_init() function102 __vgic_v3_init(fd); in vgic_v3_setup()
717 __vgic_v3_init(vm->arch.gic_fd); in kvm_arch_vm_finalize_vcpus()
21 void __vgic_v3_init(int fd);