Searched refs:Srcu (Results 1 – 5 of 5) sorted by relevance
54 let Srcu = Srcu-lock | Srcu-unlock | Sync-srcu72 (* Compute matching pairs of nested Srcu-lock and Srcu-unlock *)73 let carry-srcu-data = (data ; [~ Srcu-unlock] ; rf)*74 let srcu-rscs = ([Srcu-lock] ; carry-srcu-data ; data ; [Srcu-unlock]) & loc77 flag ~empty Srcu-lock \ domain(srcu-rscs) as unmatched-srcu-lock78 flag ~empty Srcu[all...]
63 ([M] ; po? ; [Srcu-unlock] ; fencerel(After-srcu-read-unlock) ; [M])71 Rcu-lock | Rcu-unlock | Srcu-lock | Srcu-unlock) |
40 let ALL-LOCKS = LKR | LKW | UL | LF | RU | Srcu-lock | Srcu-unlock | Sync-srcu
25 $crate::sync::Srcu::new($crate::optional_name!($($name)?), $crate::static_lock_class!())43 pub struct Srcu { struct48 impl Srcu { impl102 impl PinnedDrop for Srcu { implementation139 unsafe impl Send for Srcu {} implementation141 unsafe impl Sync for Srcu {} implementation153 srcu: &'a Srcu,
42 pub use srcu::Srcu;