| 836 | } |
| 837 | |
| 838 | ng_ID_t |
| 839 | ng_node2ID(node_p node) |
| 840 | { |
| 841 | return (node ? NG_NODE_ID(node) : 0); |
| 842 | } |
| 843 | |
| 844 | /************************************************************************ |
| 845 | Node name handling |
no outgoing calls
no test coverage detected