// SPDX-License-Identifier: GPL-2.0 #include <sys/sdt.h> int main(void) { DTRACE_PROBE(provider, name); return 0; }