Searched refs:padding_needed_for (Results 1 – 4 of 4) sorted by relevance
| /linux/rust/zerocopy/src/ |
| H A D | layout.rs | 342 use util::{max, min, padding_needed_for}; in extend()
394 let padding = padding_needed_for(preceding_size, field_align); in extend()
493 use util::padding_needed_for; in pad_to_align()
499 let padding = padding_needed_for(unpadded_size, self.align); in pad_to_align()
735 without_padding + util::padding_needed_for(without_padding, self.align); in validate_cast_and_convert_metadata()
1537 without_padding + util::padding_needed_for(without_padding, align) in test_validate_cast_and_convert_metadata()
1566 offset + util::padding_needed_for(offset, layout.align) in test_validate_cast_and_convert_metadata()
1647 size: args.offset + util::padding_needed_for(args.offset, args.align), in test_validate_rust_layout()
1698 without_padding + util::padding_needed_for(without_padding, args.align); in test_validate_rust_layout()
2044 let trailing_padding = util::padding_needed_for(unpadded_size, layout.align); in prove_requires_dynamic_padding()
[all …]
|
| H A D | split_at.rs | 889 if l_len.padding_needed_for() == 0 { in via_runtime_check()
|
| H A D | lib.rs | 1010 without_padding.checked_add(util::padding_needed_for(without_padding, layout.align)) in size_for_metadata()
|
| /linux/rust/zerocopy/src/util/ |
| H A D | mod.rs | 155 pub(crate) const fn padding_needed_for(len: usize, align: NonZeroUsize) -> usize { in padding_needed_for() function
157 #[kani::proof_for_contract(padding_needed_for)] in padding_needed_for()
159 padding_needed_for(kani::any(), kani::any()); in padding_needed_for()
566 pub(crate) fn padding_needed_for(&self) -> usize in padding_needed_for() function
587 util::padding_needed_for(unpadded_size, T::LAYOUT.align) in padding_needed_for()
|