ktr_tracepoint
void ktr_tracepoint(u_int mask, const char *file, int line,
ktr_tracepoint((m), __FILE__, __LINE__, format, \