Line data    Source code

       1             : /*
       2             :  * Copyright (C) 2007 Jeff Dike (jdike@{addtoit.com,linux.intel.com})
       3             :  * Licensed under the GPL
       4             :  */
       5             : 
       6             : #include <sys/ptrace.h>
       7             : #include <asm/ptrace.h>
       8             : 
       9           0 : int os_arch_prctl(int pid, int option, unsigned long *arg2)
      10             : {
      11           0 :         return ptrace(PTRACE_ARCH_PRCTL, pid, (unsigned long) arg2, option);
      12             : }