]> git.karo-electronics.de Git - karo-tx-linux.git/search
KVM: arm/arm64: vgic: streamline vgic_update_irq_pending() interface