Searched refs:VBAR_EL1 (Results 1 – 4 of 4) sorted by relevance
50 return vcpu_read_sys_reg(vcpu, VBAR_EL1) + exc_offset + type; in get_except_vector()
95 case VBAR_EL1: return read_sysreg_s(SYS_VBAR_EL12); in vcpu_read_sys_reg()138 case VBAR_EL1: write_sysreg_s(val, SYS_VBAR_EL12); return; in vcpu_write_sys_reg()1521 { SYS_DESC(SYS_VBAR_EL1), NULL, reset_val, VBAR_EL1, 0 },
57 ctxt->sys_regs[VBAR_EL1] = read_sysreg_el1(SYS_VBAR); in __sysreg_save_el1_state()131 write_sysreg_el1(ctxt->sys_regs[VBAR_EL1], SYS_VBAR); in __sysreg_restore_el1_state()
126 VBAR_EL1, /* Vector Base Address Register */ enumerator196 #define c12_VBAR (VBAR_EL1 * 2) /* Vector Base Address Register */