tag	line	file	source code
setup	52	init/main.c	static inline _syscall0(int,setup)
setup	453	init/main.c	setup();