> we do that in ilock() and canlock() so it's a bug I think to not do it also > in lock(). > The field is only used in iprintcanlock which use canlock(), not lock(), so > this > if fine, but for consistency it would be better to also do it in lock() no?
ilock and unlock could assert(l->m->machno == m->machno). but currently you're right on both counts. - erik