Symbol: pr_get_dexcr