PASID_PTE_PRESENT
(u64)virt_to_phys(entries) | PASID_PTE_PRESENT)) {
return READ_ONCE(pde->val) & PASID_PTE_PRESENT;
return READ_ONCE(pte->val[0]) & PASID_PTE_PRESENT;