yap-6.3/H/rglobals.h


  /* This file, rglobals.h, was generated automatically by "yap -L misc/buildheap"
     please do not update, update misc/GLOBALS instead */


static void RestoreGlobal(void) {


#if THREADS


#endif

#if defined(YAPOR) || defined(THREADS)

  REINIT_LOCK(Yap_BGL);
#endif

#ifdef THREADS
  REINIT_LOCK(Yap_ThreadHandlesLock);
#endif 
#if defined(YAPOR) || defined(TABLING)

#endif /* YAPOR || TABLING */
}
break GLOBALS into GLOBALS+LOCALS 2011-03-23 16:45:47 +00:00
			`/* This file, rglobals.h, was generated automatically by "yap -L misc/buildheap"`
			`please do not update, update misc/GLOBALS instead */`


















			`static void RestoreGlobal(void) {`


















struct local_optyap_data is now part of struct worker_local (generated from the file LOCALS) 2011-05-09 19:36:51 +01:00			`#if THREADS`
break GLOBALS into GLOBALS+LOCALS 2011-03-23 16:45:47 +00:00





struct local_optyap_data is now part of struct worker_local (generated from the file LOCALS) 2011-05-09 19:36:51 +01:00			`#endif`
break GLOBALS into GLOBALS+LOCALS 2011-03-23 16:45:47 +00:00
struct local_optyap_data is now part of struct worker_local (generated from the file LOCALS) 2011-05-09 19:36:51 +01:00			`#if defined(YAPOR) \|\| defined(THREADS)`
break GLOBALS into GLOBALS+LOCALS 2011-03-23 16:45:47 +00:00
struct local_optyap_data is now part of struct worker_local (generated from the file LOCALS) 2011-05-09 19:36:51 +01:00			`REINIT_LOCK(Yap_BGL);`
			`#endif`
break GLOBALS into GLOBALS+LOCALS 2011-03-23 16:45:47 +00:00
struct local_optyap_data is now part of struct worker_local (generated from the file LOCALS) 2011-05-09 19:36:51 +01:00			`#ifdef THREADS`
			`REINIT_LOCK(Yap_ThreadHandlesLock);`
			`#endif`
			`#if defined(YAPOR) \|\| defined(TABLING)`
break GLOBALS into GLOBALS+LOCALS 2011-03-23 16:45:47 +00:00
struct local_optyap_data is now part of struct worker_local (generated from the file LOCALS) 2011-05-09 19:36:51 +01:00			`#endif /* YAPOR \|\| TABLING */`
break GLOBALS into GLOBALS+LOCALS 2011-03-23 16:45:47 +00:00			`}`