alignment_get_thumb  820 arch/arm/mm/alignment.c 		fault = alignment_get_thumb(regs, ptr, &tinstr);
alignment_get_thumb  826 arch/arm/mm/alignment.c 				fault = alignment_get_thumb(regs, ptr + 1, &tinst2);