413,415c413,414
< gic = Param.BaseGic(Parent.any, "Gic to use for interrupting")
< int_num_timer = Param.UInt32("Interrrupt number used per-cpu to GIC")
< int_num_watchdog = Param.UInt32("Interrupt number for per-cpu watchdog to GIC")
---
> int_timer = Param.ArmPPI("Interrrupt used per-cpu to GIC")
> int_watchdog = Param.ArmPPI("Interrupt for per-cpu watchdog to GIC")
624c623,624
< local_cpu_timer = CpuLocalTimer(int_num_timer=29, int_num_watchdog=30,
---
> local_cpu_timer = CpuLocalTimer(int_timer=ArmPPI(num=29),
> int_watchdog=ArmPPI(num=30),
880c880,881
< local_cpu_timer = CpuLocalTimer(int_num_timer=29, int_num_watchdog=30,
---
> local_cpu_timer = CpuLocalTimer(int_timer=ArmPPI(num=29),
> int_watchdog=ArmPPI(num=30),