Searched refs:vgic_its_free_collection (Results 1 – 1 of 1) sorted by relevance
1009 static void vgic_its_free_collection(struct vgic_its *its, u32 coll_id) in vgic_its_free_collection() function1103 vgic_its_free_collection(its, coll_id); in vgic_its_cmd_handle_mapi()1113 vgic_its_free_collection(its, coll_id); in vgic_its_cmd_handle_mapi()1157 vgic_its_free_collection(its, cur->collection_id); in vgic_its_free_collection_list()1238 vgic_its_free_collection(its, coll_id); in vgic_its_cmd_handle_mapc()