Searched refs:ttbr0_EL12 (Results 1 – 2 of 2) sorted by relevance
78 #define ttbr0_EL12 sys_reg(3, 5, 2, 0, 0) macro
98 case TTBR0_EL1: return read_sysreg_s(ttbr0_EL12); in vcpu_read_sys_reg()141 case TTBR0_EL1: write_sysreg_s(val, ttbr0_EL12); return; in vcpu_write_sys_reg()
