Searched refs:vect_offset (Results 1 – 1 of 1) sorted by relevance
163 static void prepare_fault32(struct kvm_vcpu *vcpu, u32 mode, u32 vect_offset) in prepare_fault32() argument168 u32 return_offset = return_offsets[vect_offset >> 2][is_thumb]; in prepare_fault32()186 vect_offset += 0xffff0000; in prepare_fault32()188 vect_offset += vcpu_cp15(vcpu, c12_VBAR); in prepare_fault32()190 *vcpu_pc(vcpu) = vect_offset; in prepare_fault32()205 u32 vect_offset; in inject_abt32() local210 vect_offset = 12; in inject_abt32()214 vect_offset = 16; in inject_abt32()219 prepare_fault32(vcpu, PSR_AA32_MODE_ABT | PSR_AA32_A_BIT, vect_offset); in inject_abt32()
