Function write_for_syscall

pub fn write_for_syscall<T: Clone>(addr: VirtAddr, buf: &[T])

In syscall, we don’t need to worry about page tables, because we are using the user page table. Use this function instead of write in syscall.