28c28
< __FBSDID("$FreeBSD: head/sys/arm/allwinner/common.c 245900 2013-01-25 07:21:22Z ganbold $");
---
> __FBSDID("$FreeBSD: head/sys/arm/allwinner/common.c 254056 2013-08-07 11:07:56Z ganbold $");
50c50,56
< if (!fdt_is_compatible(node, "allwinner,sun4i-ic"))
---
> int offset;
>
> if (fdt_is_compatible(node, "allwinner,sun4i-ic"))
> offset = 0;
> else if (fdt_is_compatible(node, "arm,gic"))
> offset = 32;
> else
53c59
< *interrupt = fdt32_to_cpu(intr[0]);
---
> *interrupt = fdt32_to_cpu(intr[0]) + offset;