Symbol: pr_attime