Searched refs:kvm_vgic_register_its_device (Results 1 – 3 of 3) sorted by relevance
252 int kvm_vgic_register_its_device(void);
330 ret = kvm_vgic_register_its_device(); in kvm_register_vgic_device()
2909 int kvm_vgic_register_its_device(void) in kvm_vgic_register_its_device() function