通过ZYNQ HP接口访问PS端的DDR，如果确定哪些地址空间是可以使用的？

我在PS端跑了Linux系统，那么肯定有一些DDR地址空间是被Linux使用的。如果我想用PS端的DDR缓存数据，如何确定哪些地址空间是可用的，不会与Linux系统冲突？

我的理解是，应该在linux的用户应用程序中，通过malloc 申请一块指定大小的内存空间，然后将这块内存空间的物理地址传递给HP那边的外设，外设就可以访问这块内存空间，并且不会和linux冲突。但是也要注意缓存一致性的问题。