Symbol: regVM_INVALIDATE_ENG0_SEM