l4/pkg/linux-26-headers/include/asm-x86/trampoline.h

   1 #ifndef __TRAMPOLINE_HEADER
   2 #define __TRAMPOLINE_HEADER
   3
   4 #ifndef __ASSEMBLY__
   5
   6 /*
   7  * Trampoline 80x86 program as an array.
   8  */
   9 extern const unsigned char trampoline_data [];
  10 extern const unsigned char trampoline_end  [];
  11 extern unsigned char *trampoline_base;
  12
  13 extern unsigned long init_rsp;
  14 extern unsigned long initial_code;
  15
  16 #define TRAMPOLINE_BASE 0x6000
  17 extern unsigned long setup_trampoline(void);
  18
  19 #endif /* __ASSEMBLY__ */
  20
  21 #endif /* __TRAMPOLINE_HEADER */