Searched refs:vgic_its_free_collection (Results 1 – 1 of 1) sorted by relevance
1037 static void vgic_its_free_collection(struct vgic_its *its, u32 coll_id) in vgic_its_free_collection() function1131 vgic_its_free_collection(its, coll_id); in vgic_its_cmd_handle_mapi()1141 vgic_its_free_collection(its, coll_id); in vgic_its_cmd_handle_mapi()1184 vgic_its_free_collection(its, cur->collection_id); in vgic_its_free_collection_list()1271 vgic_its_free_collection(its, coll_id); in vgic_its_cmd_handle_mapc()