Searched refs:vbar (Results 1 – 1 of 1) sorted by relevance
88 unsigned long sctlr, vbar, old, new, mode; in enter_exception64() local104 vbar = __vcpu_read_sys_reg(vcpu, VBAR_EL1); in enter_exception64()109 vbar = __vcpu_read_sys_reg(vcpu, VBAR_EL2); in enter_exception64()118 *vcpu_pc(vcpu) = vbar + exc_offset + type; in enter_exception64()