Symbol: GPIO_IRQ
sys/arch/arm64/dev/aplpinctrl.c
280
status = HREAD4(sc, GPIO_IRQ(0, base));
sys/arch/arm64/dev/aplpinctrl.c
296
HWRITE4(sc, GPIO_IRQ(0, base), status);