update_debugctl   423 arch/x86/kernel/process_32.c static int update_debugctl(struct thread_struct *prev,
update_debugctl   444 arch/x86/kernel/process_32.c static int update_debugctl(struct thread_struct *prev,