96a97,102
> inline uint64_t
> getExecutingAsid(ThreadContext *tc)
> {
> return tc->readMiscRegNoEffect(MISCREG_MMU_P_CONTEXT);
> }
>