Switch ARM debuggerd over to <sys/user.h>.

** limitations under the License.

*/

#include <stddef.h>

#include <errno.h>

#include <stdbool.h>

#include <stddef.h>

#include <stdio.h>

#include <stdlib.h>

#include <string.h>

#include <stdio.h>

#include <errno.h>

#include <sys/types.h>

#include <sys/ptrace.h>

#include <corkscrew/ptrace.h>

#include <linux/user.h>

#include <sys/types.h>

#include <sys/user.h>

#include "../utility.h"

#include "../machine.h"