sysctl_intrcnt    101 kern/kern_sysctl.c int sysctl_intrcnt(int *, u_int, void *, size_t *);
sysctl_intrcnt    510 kern/kern_sysctl.c 		return (sysctl_intrcnt(name + 1, namelen - 1, oldp, oldlenp));