ZYNQ ACP口一致性读写错误

发现对acp口进行一致性读写时，并没有和cpu读到相同的值。
CPU申请的内存为非一致性（带有cache），ACP口进行一致性读时，读出的数据和CPU写入的数据不同，怀疑是CPU将数据写入了cache中，而ACP口并没有去读cache。
参考了xilinx 官网AR# 50826中的例程，里面进行了裸跑，c语言中的内容：
/* S=b1 TEX=b100 AP=b11, Domain=b0, C=b1, B=b1 */
Xil_SetTlbAttributes(0xFFF00000,0x14c0e);
让我怀疑是否需要对arm核中某些寄存器进行配置。


可在上系统时该如何操作呢？