Searched refs:prove_round_down_to_next_multiple_of_alignment (Results 1 – 4 of 4) sorted by relevance
767 fn prove_round_down_to_next_multiple_of_alignment() { in prove_round_down_to_next_multiple_of_alignment() function
1033 fn prove_round_down_to_next_multiple_of_alignment() { in prove_round_down_to_next_multiple_of_alignment() function