check for read/readv if file descriptor is actually a terminal

[Mic92]

There is a shortcut, which delegates read/readv of the file descriptor 0 (usually stdin) to a host read/readv:

sgx-lkl-musl/src/internal/syscall.h

Line 182 in 0408574

return (long)host_syscall_SYS_read((int)a1, (char*)a2, (size_t)a3);

This becomes a problem if some program has used dup2 to alter the file descriptor association. This is the case for dd. The fix is not so obvious but maybe there is a way to check if fd 0 is actually the host tty.

[Mic92]

Here is the corresponding busybox implementation: https://git.busybox.net/busybox/tree/coreutils/dd.c?id=65741d004ee91c5a710559ae4f1664f25009255e#n447