/*
   Copyright (C) 2016 Free Software Foundation, Inc.

   This file is part of GNU MIG.

   GNU MIG is free software; you can redistribute it and/or
   modify it under the terms of the GNU General Public License as
   published by the Free Software Foundation; either version 2, or (at
   your option) any later version.

   GNU MIG is distributed in the hope that it will be useful, but
   WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with GNU MIG.  If not, see <http://www.gnu.org/licenses/>.  */

subsystem arrays 0;

#include "../base_types.defs"
#
import "types.h";
import <mach/thread_status.h>;

#define	THREAD_STATE_MAX	(1024)		/* Maximum array size */
typedef unsigned int	thread_state_data_t[THREAD_STATE_MAX];

typedef struct {
   int x;
   /* 8 ints */
   int arr[2 + 2][2];
   int *ptr;
} array_struct_t;

typedef unsigned int uintptr_t[];

routine usearray(port : mach_port_t; arr : thread_state_data_t;
      arr2 : array_struct_t; x : uintptr_t);