irq_positive 71 arch/microblaze/include/asm/cpuinfo.h u32 irq_positive; irq_positive 105 arch/microblaze/kernel/cpu/cpuinfo-pvr-full.c CI(irq_positive, EDGE_IS_POSITIVE); irq_positive 108 arch/microblaze/kernel/cpu/cpuinfo-static.c ci->irq_positive = fcpu(cpu, "xlnx,edge-is-positive");