| 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 |