WITNESS_RESTORE
WITNESS_RESTORE(lock, lock_witness);
WITNESS_RESTORE(lock, lock_witness);
WITNESS_RESTORE(lock, lock_witness);
WITNESS_RESTORE(lock, lock_witness);
WITNESS_RESTORE(&Giant.lock_object, Giant); \
WITNESS_RESTORE(&Giant.lock_object, Giant); \
WITNESS_RESTORE(lock, lock_witness);
WITNESS_RESTORE(&mtx->lock_object, mtx);
WITNESS_RESTORE(&Giant.lock_object, Giant); \