WSL2-Linux-Kernel/tools/build/feature/test-sdt.c

// SPDX-License-Identifier: GPL-2.0
#include <sys/sdt.h>

int main(void)
{
	DTRACE_PROBE(provider, name);
	return 0;
}