Searched refs:vect_offset (Results 1 – 1 of 1) sorted by relevance
31 static void prepare_fault32(struct kvm_vcpu *vcpu, u32 mode, u32 vect_offset) in prepare_fault32() argument36 u32 return_offset = return_offsets[vect_offset >> 2][is_thumb]; in prepare_fault32()54 vect_offset += 0xffff0000; in prepare_fault32()56 vect_offset += vcpu_cp15(vcpu, c12_VBAR); in prepare_fault32()58 *vcpu_pc(vcpu) = vect_offset; in prepare_fault32()73 u32 vect_offset; in inject_abt32() local78 vect_offset = 12; in inject_abt32()82 vect_offset = 16; in inject_abt32()87 prepare_fault32(vcpu, PSR_AA32_MODE_ABT | PSR_AA32_A_BIT, vect_offset); in inject_abt32()
