tree b7d70fee28a316d7bb742ee97de6831609888a0b
parent f0a8c721a5181c9d046b3041a147e193b61203f5
author Mike Voydanoff <voydanoff@google.com> 1509914381 -0800
committer Mike Voydanoff <voydanoff@google.com> 1510011499 +0000

[ddk] Remove the device_unbind() API

This helps clear the way for removing the zx_device "owner" field

Change-Id: I51f8f456d4d172a4ccb75040fef17015bc4b5ffd