Symbol: WREG32_SMC