1 // SPDX-License-Identifier: GPL-2.0 2 #include <sys/sdt.h> 3 main(void)4 int main(void) 5 { 6 DTRACE_PROBE(provider, name); 7 return 0; 8 } 9