GICv2
https://speakerdeck.com/tnishinaga/baremetal-raspberry-pi-4-gicv2