Symbol: KERN_INTRCNT_NAME