ia64_sync_krbs    126 arch/ia64/include/asm/ptrace.h   extern void ia64_sync_krbs(void);
ia64_sync_krbs    199 arch/ia64/kernel/process.c 		ia64_sync_krbs();
ia64_sync_krbs   1226 arch/ia64/kernel/ptrace.c 		ia64_sync_krbs();
ia64_sync_krbs   1251 arch/ia64/kernel/ptrace.c 		ia64_sync_krbs();