TAGACC_CTX_MASK
ctxtype = tagaccess & TAGACC_CTX_MASK;
iskernel = (((uintptr_t)addr & TAGACC_CTX_MASK) == KCONTEXT);
#if TAGACC_CTX_MASK != CTXREG_CTX_MASK
#define TAGACC_VADDR_MASK (~TAGACC_CTX_MASK)
set TAGACC_CTX_MASK, scr1; \
#define TAGACC_VADDR_MASK (~TAGACC_CTX_MASK)