Searched refs:vgic_its_free_collection (Results 1 – 1 of 1) sorted by relevance
1001 static void vgic_its_free_collection(struct vgic_its *its, u32 coll_id) in vgic_its_free_collection() function1090 vgic_its_free_collection(its, coll_id); in vgic_its_cmd_handle_mapi()1100 vgic_its_free_collection(its, coll_id); in vgic_its_cmd_handle_mapi()1143 vgic_its_free_collection(its, cur->collection_id); in vgic_its_free_collection_list()1228 vgic_its_free_collection(its, coll_id); in vgic_its_cmd_handle_mapc()