PTE_LIST_EXT
if (desc->spte_count == PTE_LIST_EXT) {
if (iter->pos < PTE_LIST_EXT - 1) {
u64 *sptes[PTE_LIST_EXT];