On Tue, Apr 05, 2016 at 03:02:25PM +0200, J. Hannken-Illjes wrote: > The attached hack works for me -- looks like we cannot use a mutex > so early ... Or just skip the mutex_{enter,exit} while cold? Martin