Function replace_high_word_kernel 

pub fn replace_high_word_kernel(previous: b64, value: b32, strobes: b4) -> b64

Replace a byte-strobed high half of a 64-bit register.