Add length field to dios_end_write() syscall.