
# $Header: /psg/proteus/RCS/mk_initshared,v 1.2 92/02/12 10:37:17 brewer Exp $

BEGIN		{ printf "typedef char* __SHARED__;\n\n"
		  printf "static void initshared()\n{\n"
                }
/shared/	{ if ($4 == 0) {
		      printf "{ extern __SHARED__ %s;", $2
		      printf " %s = (__SHARED__)_OS_getmem(%d); }\n", $2, $3
                  } else {
		      printf "{ extern __SHARED__ %s;", $2
		      printf " %s = (__SHARED__)", $2
                      printf "_OS_getmemfrommodule(%d,%d); }\n", $3, $4-1
                  }
		}
END   		{ printf "\n}\n"; }
