/* SPDX-License-Identifier: (GPL-2.0+ OR MIT) */
/*
 * Copyright (c) 2019 Amlogic, Inc. All rights reserved.
 */

#ifndef __S4D_MBOX_H__
#define __S4D_MBOX_H__

#include "amlogic,mbox.h"

/* MBOX SECPU CHANNEL ID */
#define S4D_MBOX_REE2SCPU  0
#define S4D_MBOX_SCPU2REE  1

/* ARMREE to SECPU client ID */
#define S4D_REE2SCPU_DEV  S4D_MBOX_REE2SCPU

#endif /* __S4D_MBOX_H__ */