Changeset 246 for soft/giet_vm/sys/drivers.h

Timestamp:

Jul 9, 2013, 3:54:53 PM (11 years ago)

Author:

meunier

Message:

Cosmétique + gestion du reset de l'irq du timer ou de l'xicu lors d'un task_switch

File:

• soft/giet_vm/sys/drivers.h (modified) (1 diff)

soft/giet_vm/sys/drivers.h

@@ -19 +19 @@
 unsigned int _timer_stop(unsigned int cluster_id, unsigned int local_id);
 unsigned int _timer_reset_irq(unsigned int cluster_id, unsigned int local_id);
-//unsigned int _timer_reset_irq_cpt(unsigned int cluster_id, unsigned int local_id);
+unsigned int _timer_reset_irq_cpt(unsigned int cluster_id, unsigned int local_id);