00001 00008 /* (c) 2003 Technische Universitaet Dresden 00009 * This file is part of DROPS, which is distributed under the terms of the 00010 * GNU General Public License 2. Please see the COPYING file for details. */ 00011 00012 #ifndef __TRAMPOLINE_H_ 00013 #define __TRAMPOLINE_H_ 00014 00015 void task_trampoline(l4_addr_t entry, void *mbi, void *env, unsigned mb_flag); 00016 extern char _task_trampoline_end; 00017 00018 #endif 00019