/*
 * 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_SIGNAL_H__
#define __NS_AGENT_MAILBOX_SIGNAL_H__

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

#ifdef __cplusplus
extern "C" {
#endif

/**********************************************************************/
/* Defines the count of the NS Agent Mailbox interrupts               */
/**********************************************************************/


#endif /* __NS_AGENT_MAILBOX_SIGNAL_H__ */
