421,423c421,422
< # @todo: for now only two timers per CPU is supported, which is the
< # normal behaviour when security extensions are disabled.
< int_phys = Param.UInt32("Physical timer interrupt number")
---
> int_phys_s = Param.UInt32("Physical (S) timer interrupt number")
> int_phys_ns = Param.UInt32("Physical (NS) timer interrupt number")
424a424
> int_hyp = Param.UInt32("Hypervisor timer interrupt number")
432,434c432,437
< node.append(FdtPropertyWords("interrupts",
< [1, int(self.int_phys) - 16, 0xf08,
< 1, int(self.int_virt) - 16, 0xf08]))
---
> node.append(FdtPropertyWords("interrupts", [
> 1, int(self.int_phys_s) - 16, 0xf08,
> 1, int(self.int_phys_ns) - 16, 0xf08,
> 1, int(self.int_virt) - 16, 0xf08,
> 1, int(self.int_hyp) - 16, 0xf08,
> ]))
903c906,907
< generic_timer = GenericTimer(int_phys=29, int_virt=27)
---
> generic_timer = GenericTimer(int_phys_s=29, int_phys_ns=30,
> int_virt=27, int_hyp=26)
1121c1125,1126
< generic_timer = GenericTimer(int_phys=29, int_virt=27)
---
> generic_timer = GenericTimer(int_phys_s=29, int_phys_ns=30,
> int_virt=27, int_hyp=26)