alignment_get_arm
fault = alignment_get_arm(regs, (void *)instrptr, &instr);
if (alignment_get_arm(regs, (__le32 __user *)instrptr, &instr))