alignment_get_thumb
fault = alignment_get_thumb(regs, ptr, &tinstr);
fault = alignment_get_thumb(regs, ptr + 1, &tinst2);
if (alignment_get_thumb(regs, ptr, &tinstr))
if (alignment_get_thumb(regs, ptr + 1, &tinst2))