Searched refs:kvm_vgic_register_its_device (Results 1 – 3 of 3) sorted by relevance
239 int kvm_vgic_register_its_device(void);
282 ret = kvm_vgic_register_its_device(); in kvm_register_vgic_device()
2581 int kvm_vgic_register_its_device(void) in kvm_vgic_register_its_device() function
