// SPDX-License-Identifier: CC0-1.0
//
// SPDX-FileContributor: Antonio Niño Díaz, 2023

#ifndef IPC_H__
#define IPC_H__

#define IPC_ARM9_TO_DSP_ADDR    0x2000 // In words
#define IPC_DSP_TO_ARM9_ADDR    0x3000 // In words

#endif // IPC_H__
