id_to_node
va = node_pool_del_va(id_to_node(*vn_id), size, align, vstart, vend);
id_to_node(vn_id):addr_to_node(va->va_start);