Symbol: KERN_CPTIME2