diff options
| author | Marc Zyngier <marc.zyngier@arm.com> | 2018-07-27 16:03:31 +0100 |
|---|---|---|
| committer | Marc Zyngier <marc.zyngier@arm.com> | 2018-10-02 10:37:37 +0100 |
| commit | f842ca8e9c8a80d07f5589536311250d7d6018f9 (patch) | |
| tree | 3d0e0854d5f7b568a1b037efcbf0dc0a75ab1c51 /tools/memory-model | |
| parent | c6e2ccb66d0c3b4fffc59932585e9f709ad59003 (diff) | |
| download | linux-stable-f842ca8e9c8a80d07f5589536311250d7d6018f9.tar.gz linux-stable-f842ca8e9c8a80d07f5589536311250d7d6018f9.tar.bz2 linux-stable-f842ca8e9c8a80d07f5589536311250d7d6018f9.zip | |
irqchip/gic-v3-its: Check that all RDs have the same property table
If booting with LPIs enabled, all the redistributors must have the
exact same property table. No ifs, no buts.
Tested-by: Jeremy Linton <jeremy.linton@arm.com>
Tested-by: Bhupesh Sharma <bhsharma@redhat.com>
Tested-by: Lei Zhang <zhang.lei@jp.fujitsu.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
Diffstat (limited to 'tools/memory-model')
0 files changed, 0 insertions, 0 deletions