xPC Target PCI master device drivers

I need to write an xPC driver for an in-house developed PCI card. The card is able to perform DMA.

Looking at driver code for the UEI boards, I see that 'a bit of a hack' is used to allocate contiguous, aligned buffers. I might want to live with that, but I fail to see how the CPU memory cache coherency issue has been dealt with.

Has anyone some ideas on how to (in the xPC target):
1. properly acquire a contiguous, aligned buffer
2. get its physical addresses
3. disable cache on it

Thanks.
.