/*
 * Copyright (c) 2016 Cadence Design Systems, Inc.
 * SPDX-License-Identifier: Apache-2.0
 */

#ifndef XTENSA_ADDR_TYPES_H
#define XTENSA_ADDR_TYPES_H

#ifndef _ASMLANGUAGE
typedef unsigned int paddr_t;
typedef unsigned int vaddr_t;
#endif

#endif /* XTENSA_ADDR_TYPES_H */