Searched refs:ia64_sync_krbs (Results 1 – 3 of 3) sorted by relevance
119 extern void ia64_sync_krbs(void);
188 ia64_sync_krbs(); in do_notify_resume_user()
613 void ia64_sync_krbs(void) in ia64_sync_krbs() function1222 ia64_sync_krbs(); in syscall_trace_enter()1247 ia64_sync_krbs(); in syscall_trace_leave()