* Remove a name from a node. This should only be called * when shutting down and removing the node. */
| 972 | * when shutting down and removing the node. |
| 973 | */ |
| 974 | void |
| 975 | ng_unname(node_p node) |
| 976 | { |
| 977 | } |
| 978 | |
| 979 | /* |
| 980 | * Allocate a bigger name hash. |