Symbol: pr_set_dexcr