00001 /* $Id: l4_macros.h 24082 2006-01-06 10:35:41Z fm3 $ */ 00009 /* (c) 2006 Technische Universitaet Dresden 00010 * This file is part of DROPS, which is distributed under the terms of the 00011 * GNU General Public License 2. Please see the COPYING file for details. */ 00012 00013 #ifndef _L4UTIL__ARCH_AMD64__L4_MACROS_H 00014 #define _L4UTIL__ARCH_AMD64__L4_MACROS_H 00015 00016 #ifndef l4_addr_fmt 00017 # define l4_addr_fmt "%016lx" 00018 #endif 00019 00020 #endif /* !_L4UTIL__ARCH_AMD64__L4_MACROS_H */