Searched refs:c12_VBAR (Results 1 – 4 of 4) 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()
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 },