Searched refs:vbar (Results 1 – 2 of 2) sorted by relevance
187 unsigned long vbar = read_sysreg(vbar_el1); in _sdei_handler() local235 return vbar + 0x280; in _sdei_handler()237 return vbar + 0x680; in _sdei_handler()239 return vbar + 0x480; in _sdei_handler()
68 ctxt->sys_regs[VBAR_EL1] = read_sysreg_el1(vbar); in __sysreg_save_el1_state()140 write_sysreg_el1(ctxt->sys_regs[VBAR_EL1], vbar); in __sysreg_restore_el1_state()
