Searched refs:set_nodeid (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/tools/
H A Dcreate_mdb_dot.py86 def set_nodeid(self, nodeid): member in class:Capability
160 cap.set_nodeid(nodeid)

Completed in 136 milliseconds