400 static inline bool is_flipped_pte(pentry_t pte)  in is_flipped_pte()  argument
402 	return (pte & MMU_P) == 0 && (pte & PTE_ZERO) != 0;  in is_flipped_pte()
930 static inline pentry_t pte_atomic_update(pentry_t *pte, pentry_t update_val,  in pte_atomic_update()  argument
940 		old_val = atomic_pte_get(pte);  in pte_atomic_update()
960 	} while (atomic_pte_cas(pte, old_val, new_val) == false);  in pte_atomic_update()
2069 	pentry_t pte = 0;  in arch_page_phys_get()  local
2075 	pentry_get(&level, &pte, z_x86_page_tables_get(), virt);  in arch_page_phys_get()
2077 	if ((pte & MMU_P) != 0) {  in arch_page_phys_get()
2079 			*phys = (uintptr_t)get_entry_phys(pte, PTE_LEVEL);  in arch_page_phys_get()
2207 	pentry_t pte;  in arch_page_location_get()  local
2213 	pentry_get(&level, &pte, z_x86_page_tables_get(), addr);  in arch_page_location_get()
2215 	if (pte == 0) {  in arch_page_location_get()
2221 	*location = (uintptr_t)get_entry_phys(pte, PTE_LEVEL);  in arch_page_location_get()
2223 	if ((pte & MMU_P) != 0) {  in arch_page_location_get()
2234 	pentry_t pte;  in z_x86_kpti_is_access_ok()  local
2237 	pentry_get(&level, &pte, ptables, addr);  in z_x86_kpti_is_access_ok()
2243 	if (level != PTE_LEVEL || pte == 0 || is_flipped_pte(pte)) {  in z_x86_kpti_is_access_ok()