Searched refs:kvm_vgic_register_its_device (Results 1 – 3 of 3) sorted by relevance
231 int kvm_vgic_register_its_device(void);
277 ret = kvm_vgic_register_its_device(); in kvm_register_vgic_device()
2781 int kvm_vgic_register_its_device(void) in kvm_vgic_register_its_device() function