122a123,128
> inline uint64_t
> getExecutingAsid(ThreadContext *tc)
> {
> return 0;
> }
>