Symbol: KERN_EVCNT