Symbol: TSC_TARGET_WRVAL