summaryrefslogtreecommitdiff
path: root/zebra/label_manager.h
diff options
context:
space:
mode:
authorDonatas Abraitis <donatas@opensourcerouting.org>2023-12-12 16:31:52 +0200
committerGitHub <noreply@github.com>2023-12-12 16:31:52 +0200
commitf17cd4587d025df33db6f57a6ac9bf33c65eba88 (patch)
tree049e9a6e4c8b4514ef8c7d437b3ab3a79fa43cb7 /zebra/label_manager.h
parent54625f5f94636fdaec4e6ae76cd8688dbb9c56ce (diff)
parent3d1f0c467b3d8cd9c7cb0fd3ea81165748ee8af0 (diff)
Merge pull request #14985 from donaldsharp/zebra_delete_memory_problems
Zebra delete memory problems
Diffstat (limited to 'zebra/label_manager.h')
-rw-r--r--zebra/label_manager.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/zebra/label_manager.h b/zebra/label_manager.h
index ab6ad7f639..03cf6a6813 100644
--- a/zebra/label_manager.h
+++ b/zebra/label_manager.h
@@ -105,6 +105,8 @@ struct label_manager {
};
void label_manager_init(void);
+void label_manager_terminate(void);
+
struct label_manager_chunk *
assign_label_chunk(uint8_t proto, unsigned short instance, uint32_t session_id,
uint8_t keep, uint32_t size, uint32_t base);