Searched refs:round_down_to_next_multiple_of_alignment (Results 1 – 2 of 2) sorted by relevance
236 pub(crate) const fn round_down_to_next_multiple_of_alignment( in round_down_to_next_multiple_of_alignment() function241 #[kani::proof_for_contract(round_down_to_next_multiple_of_alignment)] in round_down_to_next_multiple_of_alignment()243 round_down_to_next_multiple_of_alignment(kani::any(), kani::any()); in round_down_to_next_multiple_of_alignment()907 let got = round_down_to_next_multiple_of_alignment(n, align); in test_round_down_to_next_multiple_of_alignment()917 round_down_to_next_multiple_of_alignment(0, NonZeroUsize::new(3).unwrap()); in test_round_down_to_next_multiple_of_alignment_zerocopy_panic_in_const_and_vec_try_reserve()
689 util::round_down_to_next_multiple_of_alignment(bytes_len, self.align); in validate_cast_and_convert_metadata()