diff options
Diffstat (limited to 'arch/microblaze/kernel/timer.c')
| -rw-r--r-- | arch/microblaze/kernel/timer.c | 2 | 
1 files changed, 2 insertions, 0 deletions
| diff --git a/arch/microblaze/kernel/timer.c b/arch/microblaze/kernel/timer.c index bdfa2f9f0c81..5499deae7fa6 100644 --- a/arch/microblaze/kernel/timer.c +++ b/arch/microblaze/kernel/timer.c @@ -22,6 +22,7 @@  #include <linux/clocksource.h>  #include <linux/clockchips.h>  #include <linux/io.h> +#include <linux/bug.h>  #include <asm/cpuinfo.h>  #include <asm/setup.h>  #include <asm/prom.h> @@ -234,6 +235,7 @@ void __init time_init(void)  		if (timer)  			break;  	} +	BUG_ON(!timer);  	timer_baseaddr = *(int *) of_get_property(timer, "reg", NULL);  	timer_baseaddr = (unsigned long) ioremap(timer_baseaddr, PAGE_SIZE); | 
