/* cleanup function registered by atexit() and called at exit() */ static void busterminate(void) { gn_vm_terminate(); gn_device_unlock(lockfile); gn_lib_library_free(); }
static void busterminate(void) { gn_sm_functions(GN_OP_Terminate, NULL, &state); if (lockfile) gn_device_unlock(lockfile); }