// SPDX-License-Identifier: GPL-2.0-or-later
/*
 * Copyright (c) 2022 Arm Ltd.
 */
#ifndef LAPI_IPC_H__
#define LAPI_IPC_H__

#include <sys/ipc.h>

#ifndef IPC_INFO
# define IPC_INFO 3
#endif

#endif /* LAPI_IPC_H__ */