V26: cmd=5 invoked by pid 1024 (sysctl)
V26[5] CONTROL: quiesced create/get/put/destroy OK
V26[5] round 0: destroying cache while CPU1 hammers get/put...
Stopped at      objcache_put+0x4b:      movslq  (%rax),%rdx
(guest wedged in DDB; kernel-mode fault dereferencing the freed magazine
 in objcache_put on the remote cpu during objcache_destroy)