Searched refs:c12_VBAR (Results 1 – 5 of 5) sorted by relevance
37 ctxt->cp15[c12_VBAR] = read_sysreg(VBAR); in __sysreg_save_state()66 write_sysreg(ctxt->cp15[c12_VBAR], VBAR); in __sysreg_restore_state()
56 vect_offset += vcpu_cp15(vcpu, c12_VBAR); in prepare_fault32()
126 c12_VBAR, /* Vector Base Address Register */ enumerator
196 #define c12_VBAR (VBAR_EL1 * 2) /* Vector Base Address Register */ macro
477 NULL, reset_val, c12_VBAR, 0x00000000 },
