xPC Target PCI master device drivers

[Jeroen Van den Keybus]

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.