/*
 * SPDX-License-Identifier: BSD-3-Clause
 * SPDX-FileCopyrightText: Copyright The TrustedFirmware-M Contributors
 */
/***********  WARNING: This is an auto-generated file. Do not edit!  ***********/

#ifndef __NS_AGENT_MAILBOX_RPC_H__
#define __NS_AGENT_MAILBOX_RPC_H__

#include <stdint.h>
#include "psa_manifest/ns_agent_mailbox.h"
#include "psa/service.h"
#include "tfm_peripherals_def.h"

/*
 * It is unlikely that a mailbox IRQ number is assigned to 0 in a system.
 * Return 0 if it fails to map a signal to a mailbox IRQ source.
 */
#define INVALID_MAILBOX_IRQ        0

/******************************************************************/
/* Map mailbox signals into mailbox sources                       */
/******************************************************************/

#endif /* __NS_AGENT_MAILBOX_RPC_H__ */
