Searched refs:vbar (Results 1 – 1 of 1) sorted by relevance
193 unsigned long vbar = read_sysreg(vbar_el1); in _sdei_handler() local241 return vbar + 0x280; in _sdei_handler()243 return vbar + 0x680; in _sdei_handler()245 return vbar + 0x480; in _sdei_handler()
