Searched refs:vgic_its_free_device_list (Results 1 – 1 of 1) sorted by relevance
1158 static void vgic_its_free_device_list(struct kvm *kvm, struct vgic_its *its) in vgic_its_free_device_list() function1740 vgic_its_free_device_list(kvm, its); in vgic_mmio_write_its_baser()2005 vgic_its_free_device_list(kvm, its); in vgic_its_destroy()2533 vgic_its_free_device_list(its->dev->kvm, its); in vgic_its_restore_device_tables()2730 vgic_its_free_device_list(kvm, its); in vgic_its_reset()