/branches/rcu/kernel/generic/include/proc/tasklet.h |
---|
30,7 → 30,8 |
/** @addtogroup genericddi |
* @{ |
*/ |
/** @file |
/** @file tasklet.h |
* @brief Tasklets declarations |
*/ |
#ifndef KERN_TASKLET_H_ |
/branches/rcu/kernel/generic/include/synch/rcu.h |
---|
29,7 → 29,8 |
/** @addtogroup sync |
* @{ |
*/ |
/** @file |
/** @file rcu.h |
* @brief declarations for RCU |
*/ |
#ifndef KERN_RCU_H_ |
41,9 → 42,14 |
#include <arch.h> |
#include <preemption.h> |
/** Structure for callbacks */ |
typedef struct rcu_callback_list { |
/** next in the list */ |
struct rcu_callback_list* next; |
/** pointer to callback function */ |
void (*func)(void*); |
/** argument to pass to the callback */ |
void* data; |
} rcu_callback_list_t; |