您好，
编译环境CCS5.3.0，DSP型号TMS320C6678，DSP通过2xSRIO、GPIO和FPGA相连。
FPGA通过2xSRIO定时（15ms）传递给DSP一个unsigned short型的GPIO_flag变量，约定写在0x80000000的地址上，写完以后发给DSP一个GPIO中断；
DSP接收到中断以后，进入中断服务程序，由核0读取GPIO_flag变量，在读取之前调用cache_invalid()函数进行cache维护，保证cache一致性。
请问以上的操作是正确的吗？
为什么我这样操作了以后影响到了其他变量的cache一致性？就是我读取GPIO_flag变量以后，在程序运行过程中，其他存储在0x80000000的变量会出现cache不一致的问题？
