is_executable_pte
return is_executable_pte(spte);
#define is_nx_pte(mmu, pte) (!is_executable_pte(mmu, pte))