tag	line	file	source code
sync	51	init/main.c	static inline _syscall0(int,sync)
sync	505	init/main.c	sync();