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