175a176,180
>
> maint_int = Param.ArmInterruptPin(
> "HV maintenance interrupt."
> "ARM strongly recommends that maintenance interrupts "
> "are configured to use INTID 25 (PPI Interrupt).")