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 */