请问中断服务程序的格式在哪儿有定义的？

其实CC254x内核就是51单片机，我想你没有找到关于这个单片机的手册，建议你上网去搜一下 cc254x user‘s guide 是英文的。由于它使用的是和cc253x一个内核，所以可以搜一下cc253x用户指南，里边对51内核的寄存器、中断都有介绍，可以参考一下。

另外例程可以参考sensortag中的interrupt.c和keys.c文件来看一下中断入口程序和处理程序。