how to get pointer to user memory address space in Os/161 in execv

I am writing execv(char *program, char **args) call in Os/161. So, I get a copy of data user provided in program and in args in kernel space.