@@ -70,6 +70,7 @@ struct ctx *ctx_get(void)
prog->probe = "k:SyS_read";
+
/* {
* # us = pid();
* t[0, pid()] = time();