Line data    Source code

       1            0 : /* asm.h - x86 tool dependent headers */
       2              : 
       3              : /*
       4              :  * Copyright (c) 2007-2014 Wind River Systems, Inc.
       5              :  *
       6              :  * SPDX-License-Identifier: Apache-2.0
       7              :  */
       8              : 
       9              : #ifndef ZEPHYR_INCLUDE_ARCH_X86_IA32_ASM_H_
      10              : #define ZEPHYR_INCLUDE_ARCH_X86_IA32_ASM_H_
      11              : 
      12              : #include <zephyr/toolchain.h>
      13              : #include <zephyr/linker/sections.h>
      14              : 
      15              : #if defined(_ASMLANGUAGE)
      16              : 
      17              : #ifdef CONFIG_X86_KPTI
      18              : GTEXT(z_x86_trampoline_to_user)
      19              : GTEXT(z_x86_trampoline_to_kernel)
      20              : 
      21              : #define KPTI_IRET       jmp z_x86_trampoline_to_user
      22              : #define KPTI_IRET_USER  jmp z_x86_trampoline_to_user_always
      23              : #else
      24              : #define KPTI_IRET       iret
      25              : #define KPTI_IRET_USER  iret
      26              : #endif /* CONFIG_X86_KPTI */
      27              : 
      28              : #endif /* _ASMLANGUAGE */
      29              : 
      30              : #endif /* ZEPHYR_INCLUDE_ARCH_X86_IA32_ASM_H_ */