* Remove a name from a node. This should only be called * when shutting down and removing the node. */
| 966 | * when shutting down and removing the node. |
| 967 | */ |
| 968 | void |
| 969 | ng_unname(node_p node) |
| 970 | { |
| 971 | } |
| 972 | |
| 973 | /* |
| 974 | * Allocate a bigger name hash. |