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