Function rounded_srl 

pub fn rounded_srl(val: u64, shift: u32, mode: Vxrm) -> u64

Perform a rounded right shift of val by shift bits (logical / unsigned).

Returns (val >> shift) + round_increment.