diff options
| -rw-r--r-- | xen/arch/arm/device.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/xen/arch/arm/device.c b/xen/arch/arm/device.c index dc751a979a..f86b2e3f33 100644 --- a/xen/arch/arm/device.c +++ b/xen/arch/arm/device.c @@ -47,6 +47,9 @@ int __init device_init(struct dt_device_node *dev, enum device_type type, ASSERT(dev != NULL); + if ( !dt_device_is_available(dev) ) + return -ENODEV; + for ( desc = _sdevice; desc != _edevice; desc++ ) { if ( desc->type != type ) |