This paper presents the high-level ideas behind kinst, a new DTrace provider available in FreeBSD, which enables tracing of arbitrary instructions and inline functions in the kernel.