__cpu_replace_ttbr1
void __cpu_replace_ttbr1(pgd_t *pgdp, bool cnp);
__cpu_replace_ttbr1(lm_alias(swapper_pg_dir), true);
__cpu_replace_ttbr1(pgdp, false);