device_init        57 sys/include/device.h void	 device_init(void);
device_init        99 sys/kern/main.c 	device_init();