INSTPM_TLB_INVALIDATE
REG_MASKED_FIELD_ENABLE(INSTPM_TLB_INVALIDATE | INSTPM_SYNC_FLUSH));
*cs++ = REG_MASKED_FIELD_ENABLE(INSTPM_TLB_INVALIDATE);