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