Function mbarrier_arrival_count 

pub const fn mbarrier_arrival_count(stages: u32) -> u32

Number of mbarrier arrival slots needed to fence a pipelined producer/consumer with the given stages. Matches the formula 2 * stages used by stage-balanced double-buffer kernels.