From: Simon J Mudd <sjmudd@pobox.com>
Date: Fri, 9 Jan 2015 17:37:44 +0000 (+0100)
Subject: Configure setup_instruments (for the mutex page) if possible on startup, and restore... 
X-Git-Url: http://git.iain.cx/?a=commitdiff_plain;h=19c8ae094d0914226a3fcd75576d39528828dace;hp=19c8ae094d0914226a3fcd75576d39528828dace;p=pstop.git

Configure setup_instruments (for the mutex page) if possible on startup, and restore when stopping
---