arch_printf()格式

你好,
我尝试通过UART进行调试，
我在http://support.dialog-semiconductor.com/faq/how-debug-uart
当我打印一个字符串时，它会工作
arch_printf(“\ Test \ r \ n”);

但是当我尝试打印一个变量时:
int16 tmr0;
．．．
．．．
tmr0 = 10001;
arch_printf(“% Lx”,tmr0);
..．.

我收到以下错误在终端窗口:
致命:unsupporte

你能帮我改一下格式吗?
谢谢!