vxworks关于cache的有关问题

vxworks关于cache的问题
请教一下各位高人，vxworks5.5.1下cache这些宏是什么用法，我在google上面没有搜到：
CACHE_PIPE_FLUSH（），
CACHE_DRV_INVALIDATE（），
CACHE_DRV_FLUSH（），
CACHE_DRV_VIRT_TO_PHYS（），
CACHE_DRV_PHYS_TO_VIRT（）
以及与CACHE_DMA_INVALIDATE()和CACHE_DMA_FLUSH()的区别，谢谢了。

[解决办法]

C/C++ code

STATUS cachePipeFlush (void)    {    return ((cacheLib.pipeFlushRtn == NULL) ? OK :            (cacheLib.pipeFlushRtn) ());    }