#define _KERNEL
#include "ixemul.h"
#include <stddef.h>
#include <stdio.h>

int main(int argc, char **argv)
{
  printf ("/* This header has been generated by the create_header tool.\n   DO NOT EDIT! */\n\n");
  printf ("/* The size of struct user is %ld bytes. */\n\n", sizeof(struct user));
  printf ("#define P_SIGMASK_OFFSET 0x%x\n\n",
  	  (unsigned)offsetof (struct user, p_sigmask));
  printf ("#define U_ONSTACK_OFFSET 0x%x\n",
  	  (unsigned)offsetof (struct user, u_onstack));
  printf ("#define P_FLAG_OFFSET 0x%x\n",
  	  (unsigned)offsetof (struct user, p_flag));

  printf ("#define IXBASE_SIZEOF (IXBASE_C_PRIVATE + %d)\n",
	  (int)(sizeof (struct ixemul_base) - offsetof (struct ixemul_base, ix_seg_list) - 4));
  return 0;
}