start_update      137 kern/init_main.c void	start_update(void *);
start_update      501 kern/init_main.c 	if (kthread_create(start_update, NULL, NULL, "update"))