Loading...
Searching...
No Matches
l4_macros.h
Go to the documentation of this file.
/*
* (c) 2006-2009 Author(s)
* economic rights: Technische Universität Dresden (Germany)
* License: see LICENSE.spdx (in this directory or the directories above)
*/
#ifndef _L4UTIL__ARCH_X86__L4_MACROS_H
#define _L4UTIL__ARCH_X86__L4_MACROS_H
#include_next <l4/util/l4_macros.h>
#ifndef l4_addr_fmt
# define l4_addr_fmt "%08lx"
#endif
#endif /* !_L4UTIL__ARCH_X86__L4_MACROS_H */