RESERVED_SWAPPER_OFFSET
sub \tmp1, \tmp1, #RESERVED_SWAPPER_OFFSET // reserved_pg_dir
add \tmp1, \tmp1, #RESERVED_SWAPPER_OFFSET
write_sysreg(ttbr - RESERVED_SWAPPER_OFFSET, ttbr0_el1);