tree 5ed5417737c982a14e59167d4a406bcffc7dd659
parent d18e173a07a9c1e7f087384a8832d295043136bb
author Paul Durrant <paul.durrant@citrix.com> 1384356307 +0000
committer Stefano Stabellini <stefano.stabellini@eu.citrix.com> 1385922348 +0000

xen-pvdevice: make device-id property compulsory

The intention of the Xen PV device is that it is used as a parent
device for PV drivers in Xen HVM guests and the set of PV drivers that
bind to the device is determined by its device ID (and possibly
vendor ID and revision). As such, the device should not have a default
device ID, it should always be supplied by the Xen toolstack.

Signed-off-by: Paul Durrant <paul.durrant@citrix.com>
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>