1 #pragma once
2 
3 #define L4_DEFINE_L4PHDRS \
4    l4re_aux   0x60000014;
5 
6 #define L4_DEFINE_L4PHDRS___DISABLED \
7    stack 0x60000012 AT (__L4_STACK_ADDR__); \
8    kip   0x60000013 AT (__L4_KIP_ADDR__); \
9    l4re_aux   0x60000014;
10 
11 #define L4_DEFINE_X86_KERNEL_ENTRY_SYMS \
12    PROVIDE(__l4sys_invoke_direct = __L4_KIP_ADDR__ + 0x800); \
13    PROVIDE(__l4sys_debugger_direct = __L4_KIP_ADDR__ + 0x900);
14 
15 #define L4_DEFINE_ARM64_KERNEL_ENTRY_SYMS \
16    PROVIDE_HIDDEN(__l4_sys_syscall = DEFINED(__l4_sys_syscall) \
17        ? __l4_sys_syscall : __L4_KIP_ADDR__ + 0x800);
18