/* Verify arguments are safe before heading to dma_memcpy().  */
void* safe_dma_memcpy(void *dst, const void *src, size_t size)
/* Verify arguments are safe before heading to dma_memcpy().  */
void* safe_dma_memcpy(void *dst, const void *src, size_t size)
{
	if (!access_ok(VERIFY_WRITE, dst, size))
		return NULL;
	if (!access_ok(VERIFY_READ, src, size))
		return NULL;
	return dma_memcpy(dst, src, size);
}