INTENTRY_FLAGS_POLARITY
switch (intr->int_flags & INTENTRY_FLAGS_POLARITY) {
(intr->int_flags & INTENTRY_FLAGS_POLARITY) !=
if ((intr->int_flags & INTENTRY_FLAGS_POLARITY) !=
printf( "\t%9s", polarityMode[ entry->int_flags & INTENTRY_FLAGS_POLARITY ] );