Searched refs:vect_offset (Results 1 – 1 of 1) sorted by relevance
154 static void prepare_fault32(struct kvm_vcpu *vcpu, u32 mode, u32 vect_offset) in prepare_fault32() argument158 u32 return_offset = return_offsets[vect_offset >> 2][is_thumb]; in prepare_fault32()169 vect_offset += 0xffff0000; in prepare_fault32()171 vect_offset += vcpu_cp15(vcpu, c12_VBAR); in prepare_fault32()173 *vcpu_pc(vcpu) = vect_offset; in prepare_fault32()191 u32 vect_offset; in inject_abt32() local199 vect_offset = 12; in inject_abt32()203 vect_offset = 16; in inject_abt32()208 prepare_fault32(vcpu, PSR_AA32_MODE_ABT, vect_offset); in inject_abt32()
