What is the right way to printf an u_in64_t value?

Problem is in procfs/procfs_linux.c:

	u_int64_t idle;

	len = sprintf(buf, "%lu.%02lu %llu.%02llu\n",
		      runtime.tv_sec, runtime.tv_usec / 10000,
		      idle / hz, (((idle % hz) * 100) / hz) % 100);

which (on sparc64) results in:

	procfs_linux.c: In function `procfs_douptime':
	procfs_linux.c:144: warning: long long unsigned int format, u_int64_t arg (arg 5)
	procfs_linux.c:144: warning: long long unsigned int format, u_int64_t arg (arg 6)
-- 
Juergen Hannken-Illjes - hannken@eis.cs.tu-bs.de - TU Braunschweig (Germany)