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