MIPS: Optimize get_user and put_user for 64-bit