/* linux/arch/arm/plat-s5p/include/plat/sysmmu.h * * Copyright (c) 2010 Samsung Electronics Co., Ltd. * http://www.samsung.com/ * * Samsung sysmmu driver * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License version 2 as * published by the Free Software Foundation.*/#ifndef __ASM_PLAT_S5P_SYSMMU_H#define __ASM_PLAT_S5P_SYSMMU_H __FILE__/* debug macro */#ifdef CONFIG_S5P_SYSMMU_DEBUG#define sysmmu_debug(fmt, arg...) printk(KERN_INFO "[%s] " fmt, __func__, ## arg)#else#define sysmmu_debug(fmt, arg...) do { } while (0)#endif#endif /* __ASM_PLAT_S5P_SYSMMU_H */
