38,24 → 38,28 |
#include <arch/types.h> |
#include <proc/tasklet.h> |
#include <arch/barrier.h> |
#include <arch.h> |
#include <preemption.h> |
|
|
/** Read lock for RCU protected pointer */ |
#define rcu_read_lock preemption_disable() |
#define rcu_read_lock() preemption_disable() |
|
/** Release of read lock for RCU protected pointer */ |
#define rcu_read_unlock preemption_enable() |
#define rcu_read_unlock() preemption_enable() |
|
/** Dereferencing of an RCU protected pointer */ |
#define rcu_dereference_pointer(p) (*(p)) |
|
/** Assigning a value to an RCU protected pointer */ |
#define rcu_assign_pointer(p, newp) {write_barrier(); (p)=(newp)} |
#define rcu_assign_pointer(p, newp) {write_barrier(); (p)=(newp);} |
|
void rcu_init(void); |
void rcu_synchronize(void); |
void rcu_synchronize_callback_function(void* waitq); |
void rcu_sync_callback(void (*func)(void* data), void* data); |
|
void rcu_tasklet(void* data); |
inline void rcu_passQS(void); |
void rcu_run_callbacks(void); |
|
#endif |