Function mac_discard

pub fn mac_discard(a: u64, b: u64, c: u64, carry: &mut u64)

Calculate a + b * c, discarding the lower 64 bits of the result and setting carry to the upper 64 bits.