81a82,86
> void updateIntrInfo(ThreadContext * tc)
> {
>
> }
>