Line data    Source code

       1           0 : /* x86 address types (virtual, physical, etc) definitions */
       2             : 
       3             : /*
       4             :  * Copyright (c) 2015 Wind River Systems, Inc.
       5             :  *
       6             :  * SPDX-License-Identifier: Apache-2.0
       7             :  */
       8             : 
       9             : #ifndef ZEPHYR_INCLUDE_ARCH_X86_ADDR_TYPES_H_
      10             : #define ZEPHYR_INCLUDE_ARCH_X86_ADDR_TYPES_H_
      11             : 
      12             : #ifndef _ASMLANGUAGE
      13           0 : typedef uintptr_t paddr_t;
      14           0 : typedef void *vaddr_t;
      15             : #endif
      16             : 
      17             : #endif /* ZEPHYR_INCLUDE_ARCH_X86_ADDR_TYPES_H_ */