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");