idr_remove(&cm.local_id_table, (int) local_id); 
idr_remove(&cm.local_id_table, (__force int) local_id); 
static void cm_free_id(u32 local_id){	unsigned long flags;	spin_lock_irqsave(&cm.lock, flags);	idr_remove(&cm.local_id_table, (int) local_id);	spin_unlock_irqrestore(&cm.lock, flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/97f52eb438be7caebe026421545619d8a0c1398a/cm.c/clean/drivers/infiniband/core/cm.c