tree 527ffe3f03eb910e12a9ff650b5a89d1354bf759
parent 3bbca1bde3d8462f6b8630095e8d06462798dbd2
author Jon Hall <jhall@onlab.us> 1413997024 -0400
committer Jon Hall <jhall@onlab.us> 1413997024 -0400

Add get_device

Returns the first device whose id contains a given dpid