| /* | |
| * Copyright (c) 2015 Wind River Systems, Inc. | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| /* @file Cortex-M address types (virtual, physical, etc) definitions */ | |
| #ifndef _arm_cortex_m_addr_types__h_ | |
| #define _arm_cortex_m_addr_types__h_ | |
| #ifndef _ASMLANGUAGE | |
| typedef unsigned int paddr_t; | |
| typedef unsigned int vaddr_t; | |
| #endif | |
| #endif /* _arm_cortex_m_addr_types__h_ */ |