--- /usr/src/sys.old/kern/kern_mutex.c Thu Aug 23 22:26:57 2001 +++ /usr/src/sys/kern/kern_mutex.c Fri Aug 24 18:39:42 2001 @@ -611,8 +611,10 @@ * we can re-enable the kernacc() checks. */ #ifndef __alpha__ - if (!kernacc((caddr_t)m, sizeof(m), VM_PROT_READ | VM_PROT_WRITE)) - panic("Can't read and write to mutex %p", m); + if (!cold) + if (!kernacc((caddr_t)m, sizeof(m), + VM_PROT_READ | VM_PROT_WRITE)) + panic("Can't read and write to mutex %p", m); #endif } #endif