Protect SDT_PROBE() with do { } while (0) loop.
Use SDT_PROBE1() instead of SDT_PROBE().
Style nits.