/*
 * 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_ */