438a439,443
> BitUnion32(CONTEXTIDR)
> Bitfield<7,0> asid;
> Bitfield<31,8> procid;
> EndBitUnion(CONTEXTIDR)
>