void unregister_one_node(int nid) { if (!node_devices[nid]) return; unregister_node(node_devices[nid]); node_devices[nid] = NULL; }
void unregister_one_node(int nid) { unregister_node(node_devices[nid]); node_devices[nid] = NULL; }
void unregister_one_node(int nid) { unregister_node(&node_devices[nid]); }