fill out "destroy" hypercall a bit