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 00014 #ifndef _L4UTIL__ARCH_X86__L4_MACROS_H 00015 #define _L4UTIL__ARCH_X86__L4_MACROS_H 00016 00017 #ifndef l4_addr_fmt 00018 # define l4_addr_fmt "%08lx" 00019 #endif 00020 00021 #endif /* !_L4UTIL__ARCH_X86__L4_MACROS_H */