Searched refs:SYS_VBAR_EL1 (Results 1 – 2 of 2) sorted by relevance
468 vcpu_set_reg(vcpu, KVM_ARM64_SYS_REG(SYS_VBAR_EL1), (uint64_t)&vectors); in vcpu_init_descriptor_tables()
383 #define SYS_VBAR_EL1 sys_reg(3, 0, 12, 0, 0) macro
Completed in 108 milliseconds