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