__nodiscard
#ifndef __nodiscard
__nodiscard int copyout(const void * _Nonnull __restrict kaddr,
__nodiscard int copyout_nofault(
__nodiscard int subyte(volatile void *base, int byte);
__nodiscard int suword(volatile void *base, long word);
__nodiscard int suword16(volatile void *base, int word);
__nodiscard int suword32(volatile void *base, int32_t word);
__nodiscard int suword64(volatile void *base, int64_t word);