Changeset 63e27ef in mainline for kernel/genarch/include/genarch/drivers/bcm2835/timer.h

Timestamp:

2017-06-19T21:47:42Z (7 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

deacc58d

Parents:

7354b5e

Message:

ASSERT → assert

File:

• kernel/genarch/include/genarch/drivers/bcm2835/timer.h (modified) (3 diffs)

kernel/genarch/include/genarch/drivers/bcm2835/timer.h

@@ -36 +36 @@
 #ifndef KERN_BCM2835_TIMER_H_
 
+#include <assert.h>
 #include <typedefs.h>
 #include <mm/km.h>
@@ -66 +67 @@
 static inline void bcm2835_timer_start(bcm2835_timer_t* timer)
 {
-        ASSERT(timer);
+        assert(timer);
         /* Clear pending interrupt on channel 1 */
         timer->cs |= BCM2835_TIMER_CS_M1;
@@ -75 +76 @@
 static inline void bcm2835_timer_irq_ack(bcm2835_timer_t* timer)
 {
-        ASSERT(timer);
+        assert(timer);
         /* Clear pending interrupt on channel 1 */
         timer->cs |= BCM2835_TIMER_CS_M1;