Searched refs:tcr2 (Results 1 – 1 of 1) sorted by relevance
580 u64 tcr2; member597 config->tcr2 = read_sysreg_el1(SYS_TCR2); in __mmu_config_save()625 write_sysreg_el1(config->tcr2, SYS_TCR2); in __mmu_config_restore()