|
@@ -140,7 +140,7 @@ static irqreturn_t timer_interrupt(int irq, void *dev_id)
|
|
|
{
|
|
|
struct clock_event_device *evt = &clockevent_xilinx_timer;
|
|
|
#ifdef CONFIG_HEART_BEAT
|
|
|
- heartbeat();
|
|
|
+ microblaze_heartbeat();
|
|
|
#endif
|
|
|
timer_ack();
|
|
|
evt->event_handler(evt);
|
|
@@ -274,7 +274,7 @@ static void __init xilinx_timer_init(struct device_node *timer)
|
|
|
|
|
|
setup_irq(irq, &timer_irqaction);
|
|
|
#ifdef CONFIG_HEART_BEAT
|
|
|
- setup_heartbeat();
|
|
|
+ microblaze_setup_heartbeat();
|
|
|
#endif
|
|
|
xilinx_clocksource_init();
|
|
|
xilinx_clockevent_init();
|