Super fantastic!!!
Many thanks Kevin for the Vexlabs link and especially for the ifi_aliases.h header file, it is exactly what I was looking for. I was specifically looking for three pins PGM, PGC, and PGD which are multiplexed to port B at RB5, 6, and 7 and are being utilized as interrupt-on-change pins which map to the VEX microcontroller module interrupts ports 4, 5, and 6. I knew somebody would have the answer I only had to ask the question, thanks again Kevin.
