Searched refs:return_offset (Results 1 – 1 of 1) sorted by relevance
158 u32 return_offset = return_offsets[vect_offset >> 2][is_thumb]; in prepare_fault32() local165 *vcpu_reg32(vcpu, 14) = *vcpu_pc(vcpu) + return_offset; in prepare_fault32()