]> rtime.felk.cvut.cz Git - jailhouse.git/search
arm: Remove maintenance flag from pending_irq.type.sgi