Searched refs:vbar (Results 1 – 2 of 2) sorted by relevance
220 unsigned long vbar = read_sysreg(vbar_el1); in do_sdei_event() local262 return vbar + 0x280; in do_sdei_event()264 return vbar + 0x680; in do_sdei_event()266 return vbar + 0x480; in do_sdei_event()
94 unsigned long sctlr, vbar, old, new, mode; in enter_exception64() local110 vbar = __vcpu_read_sys_reg(vcpu, VBAR_EL1); in enter_exception64()115 vbar = __vcpu_read_sys_reg(vcpu, VBAR_EL2); in enter_exception64()124 *vcpu_pc(vcpu) = vbar + exc_offset + type; in enter_exception64()