Main Page   File List  

l4_macros.h

Go to the documentation of this file.
00001 /* $Id: l4_macros.h 28657 2007-05-26 08:20:51Z adam $ */
00002 /*****************************************************************************/
00010 /*
00011  * Copyright (C) 2000-2002
00012  * Dresden University of Technology, Operating Systems Research Group
00013  *
00014  * This file contains free software, you can redistribute it and/or modify 
00015  * it under the terms of the GNU General Public License, Version 2 as 
00016  * published by the Free Software Foundation (see the file COPYING). 
00017  *
00018  * This program is distributed in the hope that it will be useful,
00019  * but WITHOUT ANY WARRANTY; without even the implied warranty of
00020  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00021  * GNU General Public License for more details.
00022  * 
00023  * For different licensing schemes please contact 
00024  * <contact@os.inf.tu-dresden.de>.
00025  */
00026 /*****************************************************************************/
00027 
00028 #include_next <l4/util/l4_macros.h>
00029 
00030 #ifndef _L4UTIL__ARCH_ARM__L4V2__L4_MACROS_H
00031 #define _L4UTIL__ARCH_ARM__L4V2__L4_MACROS_H
00032 
00033 /*****************************************************************************
00034  *** generic macros
00035  *****************************************************************************/
00036 
00037 /* generate L4 thread id printf string */
00038 #ifndef l4util_idstr
00039 #  define l4util_idfmt         "%x.%02x"
00040 #  define l4util_idfmt_adjust  "%3x.%02x"
00041 #  define l4util_idstr(tid)    (tid).id.task,(tid).id.lthread
00042 #endif
00043 
00044 /* generate printf string of the task number of an L4 thread id */
00045 #ifndef l4util_idtskstr
00046 #  define l4util_idtskfmt      "#%x"
00047 #  define l4util_idtskstr(tid) (tid).id.task
00048 #endif
00049 
00050 #endif /* !_L4UTIL__ARCH_ARM__L4V2__L4_MACROS_H */

L4 Utilities, part of DROPS  © 2000-2003