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