44 # define L4S_PIC_SAVE "push %%ebx; "
45 # define L4S_PIC_RESTORE "pop %%ebx; "
46 # define L4S_PIC_CLOBBER
47 # define L4S_PIC_SYSCALL , [func] "m" (__l4sys_invoke_indirect)
49 extern void (*__l4sys_invoke_indirect)(void);
50 # define IPC_SYSENTER "# indirect sys invoke \n\t" \
53 # define L4S_PIC_SYSCALL
54 # define IPC_SYSENTER "call __l4sys_invoke_direct@plt \n\t"
56 # define IPC_SYSENTER_ASM call __l4sys_invoke_direct@plt
62 #define IPC_SYSENTER "call __l4sys_invoke_direct \n\t"
67 #define IPC_SYSENTER_ASM call __l4sys_invoke_direct
77 # define L4S_PIC_RESTORE
82 # define L4S_PIC_CLOBBER ,"ebx"
83 # define L4S_PIC_SYSCALL
90 #define L4_ENTER_KERNEL L4S_PIC_SAVE "push %%ebp; " \
92 " pop %%ebp; " L4S_PIC_RESTORE