Symbol: dr_cpu_mark