4c4
< # $FreeBSD: stable/10/sys/arm/xilinx/std.zynq7 266110 2014-05-15 02:41:23Z ian $
---
> # $FreeBSD: stable/10/sys/arm/xilinx/std.zynq7 266379 2014-05-17 23:25:20Z ian $
22a23,24
> options IPI_IRQ_START=0
> options IPI_IRQ_END=15
< # $FreeBSD: stable/10/sys/arm/xilinx/std.zynq7 266110 2014-05-15 02:41:23Z ian $
---
> # $FreeBSD: stable/10/sys/arm/xilinx/std.zynq7 266379 2014-05-17 23:25:20Z ian $
22a23,24
> options IPI_IRQ_START=0
> options IPI_IRQ_END=15