/* * Replacement for old '%r' kprintf format. */