dte_entry_init_one
dte_entry_init_one(&dtep[i], ctx, domain->pgtblr,
dte_entry_init_one(dtep, ctx, domain->pgtblr, dte, edte);