debugvar          682 kern/kern_sysctl.c 		return (sysctl_int(oldp, oldlenp, newp, newlen, cdp->debugvar));
debugvar          654 sys/sysctl.h   	int	*debugvar;	/* pointer to debugging variable */