| /Linux-v6.6/tools/memory-model/ |
| D | lock.cat | 33 let RL = try RL with emptyset
34 let RU = try RU with emptyset
37 let LF = LF | RL
40 let ALL-LOCKS = LKR | LKW | UL | LF | RU | Srcu-lock | Srcu-unlock | Sync-srcu
44 let lk-rmw = ([LKR] ; po-loc ; [LKW]) \ (po ; po)
45 let rmw = rmw | lk-rmw
64 let R = R | LKR | LF | RU
65 let W = W | LKW
67 let Release = Release | UL
68 let Acquire = Acquire | LKR
[all …]
|
| D | linux-kernel.cat | 28 let acq-po = [Acquire] ; po ; [M]
29 let po-rel = [M] ; po ; [Release]
30 let po-unlock-lock-po = po ; [UL] ; (po|rf) ; [LKR] ; po
33 let R4rmb = R \ Noreturn (* Reads for which rmb works *)
34 let rmb = [R4rmb] ; fencerel(Rmb) ; [R4rmb]
35 let wmb = [W] ; fencerel(Wmb) ; [W]
36 let mb = ([M] ; fencerel(Mb) ; [M]) |
54 let gp = po ; [Sync-rcu | Sync-srcu] ; po?
55 let strong-fence = mb | gp
57 let nonrw-fence = strong-fence | po-rel | acq-po
[all …]
|
| D | linux-kernel.bell | 42 let Srcu = Srcu-lock | Srcu-unlock | Sync-srcu
45 let rcu-rscs = let rec
61 let carry-srcu-data = (data ; [~ Srcu-unlock] ; rf)*
62 let srcu-rscs = ([Srcu-lock] ; carry-srcu-data ; data ; [Srcu-unlock]) & loc
76 let Marked = (~M) | IW | Once | Release | Acquire | domain(rmw) | range(rmw) |
78 let Plain = M \ Marked
81 let carry-dep = (data ; [~ Srcu-unlock] ; rfi)*
82 let addr = carry-dep ; addr
83 let ctrl = carry-dep ; ctrl
84 let data = carry-dep ; data
|
| /Linux-v6.6/rust/alloc/vec/ |
| D | drain.rs | 20 /// let mut v = vec![0, 1, 2];
21 /// let iter: std::vec::Drain<'_, _> = v.drain(..);
51 /// let mut vec = vec!['a', 'b', 'c'];
52 /// let mut drain = vec.drain(..);
54 /// let _ = drain.next().unwrap();
78 /// let mut vec = vec!['a', 'b', 'c'];
79 /// let mut drain = vec.drain(..);
105 let mut this = ManuallyDrop::new(self); in keep_rest()
108 let source_vec = this.vec.as_mut(); in keep_rest()
110 let start = source_vec.len(); in keep_rest()
[all …]
|
| D | drain_filter.rs | 20 /// let mut v = vec![0, 1, 2];
21 /// let iter: std::vec::DrainFilter<'_, _, _> = v.drain_filter(|x| *x % 2 == 0);
69 /// let mut vec = vec!['a', 'b', 'c'];
70 /// let mut drain = vec.drain_filter(|_| true);
97 let mut this = ManuallyDrop::new(self); in keep_rest()
102 let ptr = this.vec.as_mut_ptr(); in keep_rest()
103 let src = ptr.add(this.idx); in keep_rest()
104 let dst = src.sub(this.del); in keep_rest()
105 let tail_len = this.old_len - this.idx; in keep_rest()
109 let new_len = this.old_len - this.del; in keep_rest()
[all …]
|
| D | mod.rs | 16 //! let v: Vec<i32> = Vec::new();
22 //! let v: Vec<i32> = vec![];
24 //! let v = vec![1, 2, 3, 4, 5];
26 //! let v = vec![0; 10]; // ten zeroes
33 //! let mut v = vec![1, 2];
41 //! let mut v = vec![1, 2];
43 //! let two = v.pop();
49 //! let mut v = vec![1, 2, 3];
50 //! let three = v[2];
155 /// let mut vec = Vec::new();
[all …]
|
| D | into_iter.rs | 30 /// let v = vec![0, 1, 2];
31 /// let iter: std::vec::IntoIter<_> = v.into_iter();
64 /// let vec = vec!['a', 'b', 'c'];
65 /// let mut into_iter = vec.into_iter();
67 /// let _ = into_iter.next().unwrap();
80 /// let vec = vec!['a', 'b', 'c'];
81 /// let mut into_iter = vec.into_iter();
111 /// # let mut into_iter = Vec::<u8>::with_capacity(10).into_iter();
112 /// let mut into_iter = std::mem::replace(&mut into_iter, Vec::new().into_iter());
121 let remaining = self.as_raw_mut_slice(); in forget_allocation_drop_remaining()
[all …]
|
| /Linux-v6.6/rust/macros/ |
| D | vtable.rs | 8 let mut tokens: Vec<_> = ts.into_iter().collect(); in vtable()
11 let is_trait = tokens in vtable()
24 let body = match tokens.pop() { in vtable()
29 let mut body_it = body.stream().into_iter(); in vtable()
30 let mut functions = Vec::new(); in vtable()
31 let mut consts = HashSet::new(); in vtable()
32 while let Some(token) = body_it.next() { in vtable()
35 let fn_name = match body_it.next() { in vtable()
43 let const_name = match body_it.next() { in vtable()
54 let mut const_items; in vtable()
[all …]
|
| D | paste.rs | 6 let mut tokens = tokens.iter(); in concat()
7 let mut segments = Vec::new(); in concat()
8 let mut span = None; in concat()
14 let mut value = ident.to_string(); in concat()
21 let Some(TokenTree::Ident(ident)) = tokens.next() else { in concat()
25 let (mut value, sp) = segments.pop().expect("expected identifier before modifier"); in concat()
45 let pasted: String = segments.into_iter().map(|x| x.0).collect(); in concat()
51 if let TokenTree::Group(group) = token { in expand()
52 let delimiter = group.delimiter(); in expand()
53 let span = group.span(); in expand()
[all …]
|
| D | helpers.rs | 6 if let Some(TokenTree::Ident(ident)) = it.next() { in try_ident()
14 if let Some(TokenTree::Literal(literal)) = it.next() { in try_literal()
24 let content = &string[1..string.len() - 1]; in try_string()
42 if let TokenTree::Punct(punct) = it.next().expect("Reached end of token stream for Punct") { in expect_punct()
54 let string = try_string(it).expect("Expected string"); in expect_string_ascii()
60 if let TokenTree::Group(group) = it.next().expect("Reached end of token stream for Group") { in expect_group()
83 let mut impl_generics = vec![]; in parse_generics()
85 let mut ty_generics = vec![]; in parse_generics()
87 let mut rest = vec![]; in parse_generics()
89 let mut nesting = 0; in parse_generics()
[all …]
|
| D | module.rs | 8 let group = expect_group(it); in expect_string_array()
10 let mut values = Vec::new(); in expect_string_array()
11 let mut it = group.stream().into_iter(); in expect_string_array()
13 while let Some(val) = try_string(&mut it) { in expect_string_array()
41 let string = if builtin { in emit_base()
104 let mut info = ModuleInfo::default(); in parse()
109 let mut seen_keys = Vec::new(); in parse()
112 let key = match it.next() { in parse()
153 let mut ordered_keys: Vec<&str> = Vec::new(); in parse()
172 let mut it = ts.into_iter(); in module()
[all …]
|
| D | pin_data.rs | 10 let ( in pin_data()
23 let mut errs = TokenStream::new(); in pin_data()
25 let struct_name = rest in pin_data()
31 let tt = tt.clone(); in pin_data()
32 let mut res = vec![tt]; in pin_data()
56 let impl_generics = impl_generics in pin_data()
60 let mut rest = rest in pin_data()
72 let last = rest.pop(); in pin_data()
73 let mut quoted = quote!(::kernel::__pin_data! { in pin_data()
|
| D | concat_idents.rs | 8 if let Some(TokenTree::Ident(ident)) = it.next() { in expect_ident()
16 let mut it = ts.into_iter(); in concat_idents()
17 let a = expect_ident(&mut it); in concat_idents()
19 let b = expect_ident(&mut it); in concat_idents()
21 let res = Ident::new(&format!("{a}{b}"), b.span()); in concat_idents()
|
| D | pinned_drop.rs | 6 let mut toks = input.into_iter().collect::<Vec<_>>(); in pinned_drop()
11 let mut nesting: usize = 0; in pinned_drop()
12 let mut pinned_drop_idx = None; in pinned_drop()
35 let idx = pinned_drop_idx in pinned_drop()
40 if let Some(TokenTree::Group(last)) = toks.pop() { in pinned_drop()
41 let last = last.stream(); in pinned_drop()
|
| D | zeroable.rs | 7 let ( in derive()
15 let last = rest.pop(); in derive()
17 let mut new_impl_generics = Vec::with_capacity(impl_generics.len()); in derive()
19 let mut in_generic = !impl_generics.is_empty(); in derive()
21 let mut inserted = false; in derive()
23 let mut nested = 0; in derive()
|
| /Linux-v6.6/scripts/ |
| D | rustdoc_test_gen.rs | 51 let potential_components: Vec<&str> = file.strip_suffix("_rs").unwrap().split('_').collect(); in find_real_path()
62 let joined_potential_components = potential_components.join("_") + ".rs"; in find_real_path()
80 let (components_prefix, components_rest) = potential_components.split_at(i); in find_real_path()
81 let prefix = prefix.join(components_prefix.join("_")); in find_real_path()
109 let srctree = std::env::var("srctree").unwrap(); in main()
110 let srctree = Path::new(&srctree); in main()
112 let mut paths = fs::read_dir("rust/test/doctests/kernel") in main()
120 let mut rust_tests = String::new(); in main()
121 let mut c_test_declarations = String::new(); in main()
122 let mut c_test_cases = String::new(); in main()
[all …]
|
| D | generate_rust_target.rs | 38 if let [ref rest @ .., ref last] = object[..] { in fmt()
96 if let [ref rest @ .., ref last] = self.0[..] { in fmt()
111 let mut result = HashMap::new(); in from_stdin()
113 let stdin = std::io::stdin(); in from_stdin()
114 let mut handle = stdin.lock(); in from_stdin()
115 let mut line = String::new(); in from_stdin()
128 let (key, value) = line.split_once('=').expect("Missing `=` in line."); in from_stdin()
141 let option = "CONFIG_".to_owned() + option; in has()
147 let cfg = KernelConfig::from_stdin(); in main()
148 let mut ts = TargetSpec::new(); in main()
[all …]
|
| D | rustdoc_test_builder.rs | 21 let mut stdin = std::io::stdin().lock(); in main()
22 let mut body = String::new(); in main()
35 let rustdoc_function_name = body in main()
51 let body = body.replace( in main()
61 let body = body.replace( in main()
63 …&format!("}} let test_return_value = {rustdoc_function_name}(); assert!(test_return_value.is_ok())… in main()
67 let name = rustdoc_function_name.split_once("_rust_kernel_").unwrap().1; in main()
69 let path = format!("rust/test/doctests/kernel/{name}"); in main()
|
| /Linux-v6.6/rust/alloc/ |
| D | boxed.rs | 15 //! let val: u8 = 5;
16 //! let boxed: Box<u8> = Box::new(val);
22 //! let boxed: Box<u8> = Box::new(5);
23 //! let val: u8 = *boxed;
35 //! let list: List<i32> = List::Cons(1, Box::new(List::Cons(2, Box::new(List::Nil))));
212 /// let five = Box::new(5);
231 /// let mut five = Box::<u32>::new_uninit();
233 /// let five = unsafe {
261 /// let zero = Box::<u32>::new_zeroed();
262 /// let zero = unsafe { zero.assume_init() };
[all …]
|
| D | slice.rs | 104 let len = b.len(); in into_vec()
105 let (b, alloc) = Box::into_raw_with_allocator(b); in into_vec()
141 let mut vec = Vec::with_capacity_in(s.len(), alloc); in to_vec()
142 let mut guard = DropGuard { vec: &mut vec, num_init: 0 }; in to_vec()
143 let slots = guard.vec.spare_capacity_mut(); in to_vec()
164 let mut v = Vec::with_capacity_in(s.len(), alloc); in to_vec()
200 /// let mut v = [-5, 4, 1, -3, 2];
231 /// let mut floats = [5f64, 4.0, 1.0, 3.0, 2.0];
253 /// let mut v = [5, 4, 1, 3, 2];
298 /// let mut v = [-5i32, 4, 1, -3, 2];
[all …]
|
| D | raw_vec.rs | 169 let me = ManuallyDrop::new(self); in into_box()
171 let slice = slice::from_raw_parts_mut(me.ptr() as *mut MaybeUninit<T>, len); in into_box()
184 let layout = match Layout::array::<T>(capacity) { in allocate_in()
192 let result = match init { in allocate_in()
196 let ptr = match result { in allocate_in()
218 let layout = Layout::array::<T>(capacity).map_err(|_| CapacityOverflow)?; in try_allocate_in()
220 let result = match init { in try_allocate_in()
224 let ptr = result.map_err(|_| AllocError { layout, non_exhaustive: () })?; in try_allocate_in()
280 let _: () = const { assert!(mem::size_of::<T>() % mem::align_of::<T>() == 0) }; in current_memory()
282 let align = mem::align_of::<T>(); in current_memory()
[all …]
|
| D | alloc.rs | 82 /// let layout = Layout::new::<u16>();
83 /// let ptr = alloc(layout);
164 /// let layout = Layout::new::<u16>();
165 /// let ptr = alloc_zeroed(layout);
187 let raw_ptr = if zeroed { alloc_zeroed(layout) } else { alloc(layout) }; in alloc_impl()
188 let ptr = NonNull::new(raw_ptr).ok_or(AllocError)?; in alloc_impl()
214 let new_size = new_layout.size(); in grow_impl()
219 let raw_ptr = realloc(ptr.as_ptr(), old_layout, new_size); in grow_impl()
220 let ptr = NonNull::new(raw_ptr).ok_or(AllocError)?; in grow_impl()
233 let new_ptr = self.alloc_impl(new_layout, zeroed)?; in grow_impl()
[all …]
|
| /Linux-v6.6/rust/kernel/ |
| D | str.rs | 101 let len = unsafe { bindings::strlen(ptr) } + 1; in from_char_ptr()
103 let bytes = unsafe { core::slice::from_raw_parts(ptr as _, len as _) }; in from_char_ptr()
120 let mut i = 0; in from_bytes_with_nul()
174 /// let cstr = CStr::from_bytes_with_nul(b"foo\0").unwrap();
196 /// let bar = c_str!("ツ");
219 /// let penguin = c_str!("��");
220 /// let s = CString::try_from_fmt(fmt!("{}", penguin)).unwrap();
223 /// let ascii = c_str!("so \"cool\"");
224 /// let s = CString::try_from_fmt(fmt!("{}", ascii)).unwrap();
248 /// let penguin = c_str!("��");
[all …]
|
| D | init.rs | 48 //! let foo = pin_init!(Foo {
67 //! # let foo = pin_init!(Foo {
71 //! let foo: Result<Pin<Box<Foo>>> = Box::pin_init(foo);
83 //! let mtx: Result<Arc<Mutex<usize>>> = Arc::pin_init(new_mutex!(42, "example::mtx"));
161 //! let foo = addr_of_mut!((*slot).foo);
167 //! let err = bindings::enable_foo(Opaque::raw_get(foo), flags);
254 /// stack_pin_init!(let foo = pin_init!(Foo {
260 /// let foo: Pin<&mut Foo> = foo;
266 /// A normal `let` binding with optional type annotation. The expression is expected to implement
273 (let $var:ident $(: $t:ty)? = $val:expr) => {
[all …]
|
| /Linux-v6.6/Documentation/trace/ |
| D | function-graph-fold.vim | 15 let line = getline(a:lnum)
29 let s = split(getline(v:foldstart), '|', 1)
31 let s[2] = ' task switch '
33 let e = split(getline(v:foldend), '|', 1)
34 let s[2] = e[2]
|
