xge_os_printf
#define xge_os_println xge_os_printf
#define xge_trace_aux(fmt...) xge_os_printf(fmt)
xge_os_printf("OSPAL: freeing with wrong " \
xge_os_printf("OSPAL: ptr "XGE_OS_LLXFMT" not found!", \
xge_os_printf("i:%d %02x, ",i,ch);
xge_os_printf("Dump Eth:" );
xge_os_printf("i:%d %02x, ",i,ch);
xge_os_printf("ERR, Reading VPD data failed");
xge_os_printf("invalid t_code %d", t_code);
xge_os_printf(""XGE_OS_LLXFMT":"XGE_OS_LLXFMT":"
xge_os_printf(""XGE_OS_LLXFMT":"XGE_OS_LLXFMT":"XGE_OS_LLXFMT
xge_os_printf("cannot allocate trace buffer!");
xge_os_printf("OSPAL: max g_malloc_cnt %d", g_malloc_cnt);
xge_os_printf("OSPAL: memory leak detected at "
xge_os_printf("OSPAL: %d memory leaks detected", leaks);
xge_os_printf("OSPAL: no memory leaks detected");
xge_os_printf("################ Trace dump Begin ###############");
xge_os_printf(dmesg_start + i);
xge_os_printf(dmesg + i);
xge_os_printf("################ Trace dump End ###############");
xge_os_printf(""XGE_OS_LLXFMT":"XGE_OS_LLXFMT":"XGE_OS_LLXFMT":"
xge_os_printf("0x%04x 0x%08x%08x", offset*8,