Searched refs:amair (Results 1 – 1 of 1) sorted by relevance
812 u64 amair = read_sysreg(amair_el1); in reset_amair_el1() local813 vcpu_write_sys_reg(vcpu, amair, AMAIR_EL1); in reset_amair_el1()814 return amair; in reset_amair_el1()