2 * (c) 2008-2009 Alexander Warg <warg@os.inf.tu-dresden.de>
3 * economic rights: Technische Universität Dresden (Germany)
4 * This file is part of TUD:OS and distributed under the terms of the
5 * GNU Lesser General Public License 2.1.
6 * Please see the COPYING-LGPL-2.1 file for details.
8 #ifndef __CRTX_CPUCHECK_H
9 #define __CRTX_CPUCHECK_H
12 #define CPU_MODEL(model) ".section\t.cpucheck,\"a\",@nobits\n\t" \
13 /*"__cpu_model_" #model ":\n\t" */ \
14 ".comm __cpu_model_" #model ", 4\n\t" \
33 #endif /* __ASSEMBLER__ */
35 #endif /* __CRTX_CPUCHECK_H */