let callers kf = try let m = Callers.find kf in KernelFunctionMap.fold (fun key v acc -> (key,StmtSet.elements v)::acc) m [] with Not_found -> []