]> git.karo-electronics.de Git - karo-tx-linux.git/search
irqchip/mips-gic: Separate IPI reservation & usage tracking