Searched refs:vect_offset (Results 1 – 2 of 2) sorted by relevance
32 static void prepare_fault32(struct kvm_vcpu *vcpu, u32 mode, u32 vect_offset) in prepare_fault32() argument55 vect_offset += 0xffff0000; in prepare_fault32()57 vect_offset += vcpu_cp15(vcpu, c12_VBAR); in prepare_fault32()59 *vcpu_pc(vcpu) = vect_offset; in prepare_fault32()74 u32 vect_offset; in inject_abt32() local79 vect_offset = 12; in inject_abt32()83 vect_offset = 16; in inject_abt32()88 prepare_fault32(vcpu, COMPAT_PSR_MODE_ABT | COMPAT_PSR_A_BIT, vect_offset); in inject_abt32()
294 u32 vect_offset = 4; in kvm_inject_undefined() local314 *vcpu_pc(vcpu) = exc_vector_base(vcpu) + vect_offset; in kvm_inject_undefined()328 u32 vect_offset; in inject_abt() local349 vect_offset = 12; in inject_abt()351 vect_offset = 16; in inject_abt()354 *vcpu_pc(vcpu) = exc_vector_base(vcpu) + vect_offset; in inject_abt()