Symbol: GICP_SETSPI_NSR
sys/dev/fdt/mvicu.c
235
(addr + GICP_SETSPI_NSR) & 0xffffffff);
sys/dev/fdt/mvicu.c
237
(addr + GICP_SETSPI_NSR) >> 32);