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 Author(s)
  10  *     economic rights: Technische Universität Dresden (Germany)
  11  * This file is part of TUD:OS and distributed under the terms of the
  12  * GNU Lesser General Public License 2.1.
  13  * Please see the COPYING-LGPL-2.1 file for details.
  14  */
  15
  16 /*****************************************************************************/
  17
  18 #include_next <l4/util/l4_macros.h>
  19
  20 #ifndef _L4UTIL__ARCH_AMD64__L4F__L4_MACROS_H
  21 #define _L4UTIL__ARCH_AMD64__L4F__L4_MACROS_H
  22
  23 /*****************************************************************************
  24  *** generic macros
  25  *****************************************************************************/
  26
  27 /* generate L4 thread id printf string */
  28 #ifndef l4util_idstr
  29 #  define l4util_idfmt         "%lx"
  30 #  define l4util_idfmt_adjust  "%04lx"
  31 #  define l4util_idstr(tid)    (tid >> L4_CAP_SHIFT)
  32 #endif
  33
  34 #endif /* !_L4UTIL__ARCH_AMD64__L4F__L4_MACROS_H */