1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 * PowerPC 4xx OCM memory allocation support
5 * (C) Copyright 2009, Applied Micro Circuits Corporation
6 * Victor Gallardo (vgallardo@amcc.com)
8 * See file CREDITS for list of people who contributed to this
12 #ifndef __ASM_POWERPC_PPC4XX_OCM_H__
13 #define __ASM_POWERPC_PPC4XX_OCM_H__
15 #define PPC4XX_OCM_NON_CACHED 0
16 #define PPC4XX_OCM_CACHED 1
18 #if defined(CONFIG_PPC4xx_OCM)
20 void *ppc4xx_ocm_alloc(phys_addr_t *phys, int size, int align,
21 int flags, const char *owner);
22 void ppc4xx_ocm_free(const void *virt);
26 #define ppc4xx_ocm_alloc(phys, size, align, flags, owner) NULL
27 #define ppc4xx_ocm_free(addr) ((void)0)
29 #endif /* CONFIG_PPC4xx_OCM */
31 #endif /* __ASM_POWERPC_PPC4XX_OCM_H__ */