tests: benchmark: fix incorrect printk() usage

Change-Id: Id08d2e55399401244bfc52277415bc5d4167b288
Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
This commit is contained in:
Andrew Boie 2016-08-18 13:03:09 -07:00 committed by Anas Nashif
commit 02261ae401

View file

@ -33,9 +33,9 @@
#define TEST_SOFT_INT 64
#ifdef TEST_max
#define MESSAGE "Running maximal microkernel configuration\n"
#define MESSAGE "Running maximal microkernel configuration %p\n"
#else
#define MESSAGE "Running regular microkernel configuration\n"
#define MESSAGE "Running regular microkernel configuration %p\n"
#endif /* TEST_max */
typedef void* (*pfunc) (void*);