return_offset     158 virt/kvm/arm/aarch32.c 	u32 return_offset = return_offsets[vect_offset >> 2][is_thumb];
return_offset     165 virt/kvm/arm/aarch32.c 	*vcpu_reg32(vcpu, 14) = *vcpu_pc(vcpu) + return_offset;