diff options
| author | Julien Grall <julien.grall@linaro.org> | 2013-09-13 13:49:29 +0100 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2013-09-17 15:29:08 +0100 |
| commit | 64e2efcad8789bdb09abc4c07f4cc259d8b42676 (patch) | |
| tree | daa944533846a1c42334fe02f4f6a7ac9bc14e6b /xen | |
| parent | c04b69e769ce1a5deed07ad41314c4aa25ee2596 (diff) | |
| download | xen-64e2efcad8789bdb09abc4c07f4cc259d8b42676.tar.gz xen-64e2efcad8789bdb09abc4c07f4cc259d8b42676.tar.bz2 xen-64e2efcad8789bdb09abc4c07f4cc259d8b42676.zip | |
xen/arm: exynos5: Blacklist MCT device
The Multi Core Timer (MCT) is a Samsung specific device.
This device tries to route IRQ in non-boot CPU which is not yet handled by Xen.
The user will see randomly dom0 hang, but I'm not sure that is the real reason.
Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'xen')
| -rw-r--r-- | xen/arch/arm/platforms/exynos5.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/xen/arch/arm/platforms/exynos5.c b/xen/arch/arm/platforms/exynos5.c index 262ded8b98..d9eedc86ce 100644 --- a/xen/arch/arm/platforms/exynos5.c +++ b/xen/arch/arm/platforms/exynos5.c @@ -92,12 +92,23 @@ static const char * const exynos5_dt_compat[] __initdata = NULL }; +static const struct dt_device_match exynos5_blacklist_dev[] __initconst = +{ + /* Multi core Timer + * TODO: this device set up IRQ to CPU 1 which is not yet handled by Xen. + * This is result to random freeze. + */ + DT_MATCH_COMPATIBLE("samsung,exynos4210-mct"), + { /* sentinel */ }, +}; + PLATFORM_START(exynos5, "SAMSUNG EXYNOS5") .compatible = exynos5_dt_compat, .init_time = exynos5_init_time, .specific_mapping = exynos5_specific_mapping, .reset = exynos5_reset, .quirks = exynos5_quirks, + .blacklist_dev = exynos5_blacklist_dev, PLATFORM_END /* |