Seems it would be possible to create a version of write which takes &[MaybeUninit<u8>] and passes that as a pointer to a syscall.
Question: will the operating systems always be okay with receiving an uninitialized page within a buffer passed into such a syscall?
Searching online suggests Valgrind will get angry. But will it be right to get angry?..