cpu_replace_ttbr1
cpu_replace_ttbr1(lm_alias(tmp_pg_dir));
cpu_replace_ttbr1(lm_alias(swapper_pg_dir));