inj_cmd_addhrt
return (inj_cmd_addhrt(-1LL)); /* clock underflow causes end of time */
extern inj_cmd_t *inj_cmd_addhrt(hrtime_t);
| INJ_TOK_ADDHRT hrtime { $$ = inj_cmd_addhrt($2); }
inj_cmds_add(inj_cmd_addhrt(delta));