rctlblk_get_firing_time
rctlblk_get_firing_time(blk));
hrtime_t rctlblk_get_firing_time(rctlblk_t *);