runtime_instr_release
void runtime_instr_release(struct task_struct *tsk);
runtime_instr_release(tsk);