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