Dear all; A simple question: sometimes i need to print out some kernel address in FreeBSD kernel. And i know printk() can be used in Linux to print the message to dmesg, Is there some similar in FreeBSD? It seems that printk() cannot work in the FreeBSD kernel. And where can we find the output? in dmesg or somewhere else? Best Wishes! Yan