|
@@ -835,7 +835,8 @@ static void r4k_flush_icache_user_range(unsigned long start, unsigned long end)
|
|
|
static void r4k_dma_cache_wback_inv(unsigned long addr, unsigned long size)
|
|
|
{
|
|
|
/* Catch bad driver code */
|
|
|
- BUG_ON(size == 0);
|
|
|
+ if (WARN_ON(size == 0))
|
|
|
+ return;
|
|
|
|
|
|
preempt_disable();
|
|
|
if (cpu_has_inclusive_pcaches) {
|
|
@@ -871,7 +872,8 @@ static void r4k_dma_cache_wback_inv(unsigned long addr, unsigned long size)
|
|
|
static void r4k_dma_cache_inv(unsigned long addr, unsigned long size)
|
|
|
{
|
|
|
/* Catch bad driver code */
|
|
|
- BUG_ON(size == 0);
|
|
|
+ if (WARN_ON(size == 0))
|
|
|
+ return;
|
|
|
|
|
|
preempt_disable();
|
|
|
if (cpu_has_inclusive_pcaches) {
|