// SPDX-License-Identifier: GPL-2.0

#include <linux/ipc_namespace.h>

struct ipc_namespace* get_init_ipc_ns_ptr(void);