Searched refs:ia64_sync_krbs (Results 1 – 3 of 3) sorted by relevance
299 extern void ia64_sync_krbs(void);
614 void ia64_sync_krbs(void) in ia64_sync_krbs() function1248 ia64_sync_krbs(); in syscall_trace_enter()1292 ia64_sync_krbs(); in syscall_trace_leave()
200 ia64_sync_krbs(); in do_notify_resume_user()