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;