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