]> git.ipfire.org Git - thirdparty/linux.git/search
irqchip/gic-v3: Use wmb() instead of smb_wmb() in gic_raise_softirq()