/* vxge_hw_device_terminate - Terminate Titan device. Terminate HW device.  */
void vxge_hw_device_terminate(struct __vxge_hw_device *hldev)
/* vxge_hw_device_terminate - Terminate Titan device. Terminate HW device.  */
void vxge_hw_device_terminate(struct __vxge_hw_device *hldev)
{
	vxge_assert(hldev->magic == VXGE_HW_DEVICE_MAGIC);
	hldev->magic = VXGE_HW_DEVICE_DEAD;
	__vxge_hw_blockpool_destroy(&hldev->block_pool);
	vfree(hldev);
}