Searched refs:c12_VBAR (Results 1 – 2 of 2) sorted by relevance
171 vect_offset += vcpu_cp15(vcpu, c12_VBAR); in prepare_fault32()
228 #define c12_VBAR (VBAR_EL1 * 2) /* Vector Base Address Register */ macro
