Calling printk with locks held