diff options
| author | Julien Grall <julien.grall@linaro.org> | 2013-09-13 13:49:21 +0100 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2013-09-17 15:28:33 +0100 |
| commit | ab26c1db4467337afbcfb025ff6eb15c8d3fce95 (patch) | |
| tree | 3823b73d73e2a7b15bc5e1659ab086f51081c091 /xen/arch/arm | |
| parent | b8f1c5e7039efbe1103ed3fe4caedf8c34affe13 (diff) | |
| download | xen-ab26c1db4467337afbcfb025ff6eb15c8d3fce95.tar.gz xen-ab26c1db4467337afbcfb025ff6eb15c8d3fce95.tar.bz2 xen-ab26c1db4467337afbcfb025ff6eb15c8d3fce95.zip | |
xen/arm: Don't map disabled device in DOM0
Linux should cope with 'status = "disabled"' in the Device Tree.
Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'xen/arch/arm')
| -rw-r--r-- | xen/arch/arm/domain_build.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c index fb4f172b8b..70f48b6d37 100644 --- a/xen/arch/arm/domain_build.c +++ b/xen/arch/arm/domain_build.c @@ -429,9 +429,13 @@ static int handle_node(struct domain *d, struct kernel_info *kinfo, * - Device used by Xen: Obviously dom0 can't use them * - Memory: the guest will see a different view of memory. It will * be allocated later. + * - Disabled device: Linux is able to cope with status="disabled" + * property. Therefore these device doesn't need to be mapped. This + * solution can be use later for pass through. */ if ( dt_device_used_by(np) != DOMID_XEN && - !dt_device_type_is_equal(np, "memory") ) + !dt_device_type_is_equal(np, "memory") && + dt_device_is_available(np) ) { res = map_device(d, np); |