Add device name finder query
@@ -61,3 +61,8 @@ findSharedMemoryFrame(NodeId,DeviceId) :-
findRanges(NodeName,SharedName,NodeRange,SharedRange),
findRanges(DevName,SharedName,DeviceRange,SharedRange),
printSharedRanges(NodeRange,SharedRange,DeviceRange).
+
+findDeviceId(NodeId,Addr) :-
+ SrcName = name(NodeId,Addr),
+ resolve(SrcName,name(DeviceId,_)),
+ writeln(DeviceId).
\ No newline at end of file
