ktr_tracepoint
ktr_tracepoint(mask, file, line, "#%d %p at %s+%#lx",
void ktr_tracepoint(uint64_t mask, const char *file, int line,
ktr_tracepoint((m), __FILE__, __LINE__, format, \