Searched refs:SYS_TTBR0_EL12 (Results 1 – 3 of 3) sorted by relevance
124 mrs_s x0, SYS_TTBR0_EL12
1043 case TTBR0_EL1: *val = read_sysreg_s(SYS_TTBR0_EL12); break; in __vcpu_read_sys_reg_from_cpu()1093 case TTBR0_EL1: write_sysreg_s(val, SYS_TTBR0_EL12); break; in __vcpu_write_sys_reg_to_cpu()
616 #define SYS_TTBR0_EL12 sys_reg(3, 5, 2, 0, 0)458 #define SYS_TTBR0_EL12 global() macro