Symbol: WREG32_SMC_P