vm_object_terminate
vm_object_terminate(backing_object);
vm_object_terminate(object);
void vm_object_terminate (vm_object_t);
vm_object_terminate(obj);