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