/* flags for kprintf */