Searched refs:c12_VBAR (Results 1 – 6 of 6) sorted by relevance
45 #define c12_VBAR 23 /* Vector Base Address Register */ macro
80 #define c12_VBAR (VBAR_EL1 * 2) /* Vector Base Address Register */ macro
57 vect_offset += vcpu_cp15(vcpu, c12_VBAR); in prepare_fault32()
270 u32 vbar = vcpu->arch.cp15[c12_VBAR]; in exc_vector_base()
302 str r12, [vcpu, #CP15_OFFSET(c12_VBAR)]357 ldr r12, [vcpu, #CP15_OFFSET(c12_VBAR)]
364 NULL, reset_val, c12_VBAR, 0x00000000 },