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