Searched refs:SYS_MAIR_EL1 (Results 1 – 2 of 2) sorted by relevance
388 vcpu_set_reg(vcpu, ctxt_reg_alias(vcpu, SYS_MAIR_EL1), DEFAULT_MAIR_EL1); in aarch64_vcpu_setup()
365 #define SYS_MAIR_EL1 sys_reg(3, 0, 10, 2, 0) macro