INSTPM_TLB_INVALIDATE
_MASKED_BIT_ENABLE(INSTPM_TLB_INVALIDATE |
*cs++ = _MASKED_BIT_ENABLE(INSTPM_TLB_INVALIDATE);