CC3200中断的问题

俺正在学习CC3200，关于CC3200中断一事不明，恳请大侠回答：

在Email例子中，使用s2\s3按键中断进行smartconfig和send email，pinmux中定义引脚为 PIN_4 和 PIN_15，这和开发板的说明是一致的，

但是在 gpio_if 中，S2 和 S3 的中断分别就是 GPIO_PIN_5 和 GPIO_PIN_6 了，请问 pin.h 和 gpio.h 里引脚的定义是如何对应的？

各引脚的port和pin在什么地方可以查到？谢谢！

calvin,

  Email例程里面，S2/S3用的确实是我们的GPIO_22和GPIO_13,也是就是我们芯片的第4和第15管脚。

在GPIO_if里面定义的是关于LED的定义吧，没注意带关于S2/S3的定义，能指明一下吗？

谢谢

谢谢您的回复！

对不起，说错了，是在 button_if.c 中定义的：

        MAP_GPIOIntTypeSet(GPIOA1_BASE,GPIO_PIN_5,GPIO_FALLING_EDGE); 
       
        g_S3InterruptHdl = S3InterruptHdl;

这个问题我已经弄清楚了。PIN4、PIN15分别对应GPIO13、GPIO22，在GPIO Mapping中则分别对应 GPIOA1 Bit5 和GPIOA2 Bi6。

前一个对应关系在 datasheet中能查到，后一个对应关系在 technical reference manual 中能查到。之前没搞清是光在 datasheet 中查，

没有查到。