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