/* Return true if the pointer can be used for DMA.  */
static bool ptr_dma_compatible(const void *ptr)
/* Return true if the pointer can be used for DMA.  */
static bool ptr_dma_compatible(const void *ptr)
{
    return (uintptr_t) ptr >= 0x3FFAE000 &&
           (uintptr_t) ptr < 0x40000000;
}