user_config       463 arch/i386/i386/machdep.c 		user_config();
user_config       311 sys/systm.h    void	user_config(void);