// SPDX-License-Identifier: GPL-2.0
#include <linux/ipc_namespace.h>
struct ipc_namespace* get_init_ipc_ns_ptr(void);