Copyright Digital Equipment Corp. All rights reserved.
#include <tis.h> int tis_unlock_global (void);