__s390_kernel_write
void *__s390_kernel_write(void *dst, const void *src, size_t size);
return __s390_kernel_write(dst, src, size);
