Did you mean (for freebsd):printf_buffer print_buffer
Your search defs:printk_buffers did not match any files. Suggestions: