Function miri::helpers::windows_check_buffer_size

pub(crate) fn windows_check_buffer_size((success, len): (bool, u64)) -> u32

Check whether an operation that writes to a target buffer was successful. Accordingly select return value. Local helper function to be used in Windows shims.