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