pub fn _mm512_mask_reduce_max_epu64(k: u8, a: __m512i) -> u64
Reduce the packed unsigned 64-bit integers in a by maximum using mask k. Returns the maximum of all active elements in a.
Intel’s documentation