gen8_set_pte
gen8_set_pte(pte, gen8_pte_encode(addr, level, 0));
gen8_set_pte(gtt_entries++, pte_encode | addr);
gen8_set_pte(>t_base[i], scratch_pte);