Rev 2265 | Rev 2330 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2265 | Rev 2309 | ||
---|---|---|---|
Line 36... | Line 36... | ||
36 | #define KERN_RCU_H_ |
36 | #define KERN_RCU_H_ |
37 | 37 | ||
38 | #include <arch/types.h> |
38 | #include <arch/types.h> |
39 | #include <proc/tasklet.h> |
39 | #include <proc/tasklet.h> |
40 | #include <arch/barrier.h> |
40 | #include <arch/barrier.h> |
- | 41 | #include <arch.h> |
|
41 | #include <preemption.h> |
42 | #include <preemption.h> |
42 | 43 | ||
43 | 44 | ||
44 | /** Read lock for RCU protected pointer */ |
45 | /** Read lock for RCU protected pointer */ |
45 | #define rcu_read_lock preemption_disable() |
46 | #define rcu_read_lock() preemption_disable() |
46 | 47 | ||
47 | /** Release of read lock for RCU protected pointer */ |
48 | /** Release of read lock for RCU protected pointer */ |
48 | #define rcu_read_unlock preemption_enable() |
49 | #define rcu_read_unlock() preemption_enable() |
49 | 50 | ||
50 | /** Dereferencing of an RCU protected pointer */ |
51 | /** Dereferencing of an RCU protected pointer */ |
51 | #define rcu_dereference_pointer(p) (*(p)) |
52 | #define rcu_dereference_pointer(p) (*(p)) |
52 | 53 | ||
53 | /** Assigning a value to an RCU protected pointer */ |
54 | /** Assigning a value to an RCU protected pointer */ |
54 | #define rcu_assign_pointer(p, newp) {write_barrier(); (p)=(newp)} |
55 | #define rcu_assign_pointer(p, newp) {write_barrier(); (p)=(newp);} |
55 | 56 | ||
56 | void rcu_init(void); |
57 | void rcu_init(void); |
57 | void rcu_synchronize(void); |
58 | void rcu_synchronize(void); |
58 | void rcu_synchronize_callback_function(void* waitq); |
59 | void rcu_synchronize_callback_function(void* waitq); |
59 | void rcu_sync_callback(void (*func)(void* data), void* data); |
60 | void rcu_sync_callback(void (*func)(void* data), void* data); |
- | 61 | void rcu_tasklet(void* data); |
|
- | 62 | inline void rcu_passQS(void); |
|
- | 63 | void rcu_run_callbacks(void); |
|
60 | 64 | ||
61 | #endif |
65 | #endif |