final version xv6
 used a better standard way to get argument in getpinfo syscall