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