An irqchip entry describes 128 pins now, not just 64.
Signed-off-by: Jan Kiszka <jan.kis...@siemens.com>
---
configs/jetson-tk1.c | 11 ++---------
1 file changed, 2 insertions(+), 9 deletions(-)
diff --git a/configs/jetson-tk1.c b/configs/jetson-tk1.c
index fb89087..8137ca5 100644
--- a/configs/jetson-tk1.c
+++ b/configs/jetson-tk1.c
@@ -24,7 +24,7 @@ struct {
struct jailhouse_system header;
__u64 cpus[1];
struct jailhouse_memory mem_regions[12];
- struct jailhouse_irqchip irqchips[3];
+ struct jailhouse_irqchip irqchips[2];
} __attribute__((packed)) config = {
.header = {
.signature = JAILHOUSE_SYSTEM_SIGNATURE,
@@ -146,16 +146,9 @@ struct {
},
/* GIC */ {
.address = 0x50041000,
- .pin_base = 96,
- .pin_bitmap = {
- 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff
- },
- },
- /* GIC */ {
- .address = 0x50041000,
.pin_base = 160,
.pin_bitmap = {
- 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff
+ 0xffffffff, 0xffffffff
},
},
},
--
Siemens AG, Corporate Technology, CT RDA ITP SES-DE
Corporate Competence Center Embedded Linux
--
You received this message because you are subscribed to the Google Groups
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jailhouse-dev+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
