fix missing includes

dev/timer
Christian Mehlis 10 years ago
parent bf85e4902c
commit 9549c29ccb

@ -26,5 +26,8 @@ void queue_priority_add(queue_node_t *root, queue_node_t *new_obj);
void queue_priority_add_generic(queue_node_t *root, queue_node_t *new_obj, int(*cmp)(queue_node_t *, queue_node_t *)) ;
void queue_remove(queue_node_t *root, queue_node_t *node);
void queue_print(queue_node_t *node);
void queue_print_node(queue_node_t *node);
/** @} */
#endif // __QUEUE_H

@ -99,11 +99,11 @@ void vtimer_print(vtimer_t *t);
/**
* @brief Prints the vtimer shortterm queue (use for debug purposes)
*/
void vtimer_print_short_queue();
void vtimer_print_short_queue(void);
/**
* @brief Prints the vtimer longterm queue (use for debug purposes)
*/
void vtimer_print_long_queue();
void vtimer_print_long_queue(void);
#endif /* __VTIMER_H */

@ -9,6 +9,7 @@
#include <hwtimer.h>
#include <msg.h>
#include <thread.h>
#include <queue.h>
#include <vtimer.h>
@ -296,7 +297,7 @@ void vtimer_print_long_queue(){
queue_print(&longterm_queue_root);
}
static void vtimer_print(vtimer_t *t)
void vtimer_print(vtimer_t *t)
{
printf("Seconds: %"PRIu32" - Microseconds: %"PRIu32"\n \
action: %p\n \

Loading…
Cancel
Save