l4/pkg/l4util/include/ARCH-amd64/L4API-l4f/l4_macros.h

   1 /*****************************************************************************/
   2 /**
   3  * \file
   4  * \brief  Some useful generic macros, L4f version
   5  *
   6  * \date   11/12/2002
   7  * \author Lars Reuther <reuther@os.inf.tu-dresden.de> */
   8 /*
   9  * (c) 2000-2009 Technische Universität Dresden
  10  * This file is part of TUD:OS and distributed under the terms of the
  11  * GNU Lesser General Public License 2.1.
  12  * Please see the COPYING-LGPL-2.1 file for details.
  13  */
  14
  15 /*****************************************************************************/
  16
  17 #include_next <l4/util/l4_macros.h>
  18
  19 #ifndef _L4UTIL__ARCH_AMD64__L4F__L4_MACROS_H
  20 #define _L4UTIL__ARCH_AMD64__L4F__L4_MACROS_H
  21
  22 /*****************************************************************************
  23  *** generic macros
  24  *****************************************************************************/
  25
  26 /* generate L4 thread id printf string */
  27 #ifndef l4util_idstr
  28 #  define l4util_idfmt         "%lx"
  29 #  define l4util_idfmt_adjust  "%04lx"
  30 #  define l4util_idstr(tid)    (tid >> L4_CAP_SHIFT)
  31 #endif
  32
  33 /* generate printf string of the task number of an L4 thread id */
  34 //#ifndef l4util_idtskstr
  35 //#  define l4util_idtskfmt      "#%X"
  36 //#  define l4util_idtskstr(tid) (tid).id.task
  37 //#endif
  38
  39 #endif /* !_L4UTIL__ARCH_AMD64__L4F__L4_MACROS_H */