tag	line	file	source code
sys_sync	16	kernel/panic.c	asmlinkage void sys_sync(void);  /* it's really int */
sys_sync	32	kernel/panic.c	sys_sync();