RTEMS printk fails for large unsigned integers

[Joris van Rantwijk]

On 27 nov 2009, at 16:44, Ralf Corsepius wrote:
>> I noticed that printk("%u", x) prints "0" for values of x larger than
>> LONG_MAX.
> Which target/BSP? printk is target/BSP specific.

No. This part of printk is implemented in cpukit/libcsupport/src/ 
vprintk.c
The target in this case is sparc/leon3.

> Furthermore, printing variable greater LONG_MAX with "%u" formating  
> is invalid/non-portable code.

What would be the purpose of "%u" in that case?
Where is the documentation for printk that declares this use to be  
invalid?

Joris.