loader.h

Go to the documentation of this file.

/* $Id: loader.h 31603 2008-05-12 06:54:17Z adam $ */
/* (c) 2003 Technische Universitaet Dresden
 * This file is part of DROPS, which is distributed under the terms of the
 * GNU General Public License 2. Please see the COPYING file for details. */

#ifndef _LOADER_LOADER_H
#define _LOADER_LOADER_H

#include <l4/sys/compiler.h>

#define L4LOADER_COMPLETE       0x12348765

#define L4LOADER_ERROR          0x43215678

#define L4LOADER_STOP           0x00000001

EXTERN_C_BEGIN

L4_CV void
l4env_init(void);

L4_CV void
l4loader_init(void *infopage);

L4_CV void
l4loader_attach_relocateable(void *infopage);

EXTERN_C_END

#endif

---