41a42
> #include "arch/alpha/ev5.hh"
113a115,120
> inline uint64_t
> getExecutingAsid(ThreadContext *tc)
> {
> return DTB_ASN_ASN(tc->readMiscRegNoEffect(IPR_DTB_ASN));
> }
>