> So I implemented a new function called > copyin_futex(9), which is all we really need.
But it is not specific to futex - in fact, it could be used in syscall() as well. Better call it fuword() or aligned_fuword() since it has the extra alignment requirement that fuword() didn't have.
