trampoline.h File Reference

startup code of a sigma0 application More...

Go to the source code of this file.

Functions
void	task_trampoline (l4_addr_t entry, void *mbi, void *env, unsigned mb_flag)
Variables
char	_task_trampoline_end

---

Detailed Description

startup code of a sigma0 application

Date:

2001

Author:

Frank Mehnert <fm3@os.inf.tu-dresden.de>