Searched refs:SYS_VBAR_EL1 (Results 1 – 2 of 2) sorted by relevance
500 vcpu_set_reg(vcpu, ctxt_reg_alias(vcpu, SYS_VBAR_EL1), (u64)&vectors); in vcpu_init_descriptor_tables()
368 #define SYS_VBAR_EL1 sys_reg(3, 0, 12, 0, 0) macro