Lines Matching refs:pte
278 void __pgtable_free_tlb(struct mmu_gather *tlb, struct page *pte, in __pgtable_free_tlb() argument
283 pgtable_page_dtor(pte); in __pgtable_free_tlb()
284 tlb_remove_page(tlb, pte); in __pgtable_free_tlb()
287 tlb_remove_page(tlb, pte + i); in __pgtable_free_tlb()
288 dec_zone_page_state(pte + i, NR_PAGETABLE); in __pgtable_free_tlb()
395 int va_to_cpa_and_pte(void *va, unsigned long long *cpa, pte_t *pte) in va_to_cpa_and_pte() argument
403 *pte = pte_set_home(null_pte, page_home(page)); in va_to_cpa_and_pte()
409 void __set_pte(pte_t *ptep, pte_t pte) in __set_pte() argument
412 *ptep = pte; in __set_pte()
417 if (pte_present(pte)) { in __set_pte()
418 ((u32 *)ptep)[1] = (u32)(pte_val(pte) >> 32); in __set_pte()
420 ((u32 *)ptep)[0] = (u32)(pte_val(pte)); in __set_pte()
422 ((u32 *)ptep)[0] = (u32)(pte_val(pte)); in __set_pte()
424 ((u32 *)ptep)[1] = (u32)(pte_val(pte) >> 32); in __set_pte()
429 void set_pte(pte_t *ptep, pte_t pte) in set_pte() argument
431 if (pte_present(pte) && in set_pte()
432 (!CHIP_HAS_MMIO() || hv_pte_get_mode(pte) != HV_PTE_MODE_MMIO)) { in set_pte()
434 unsigned long pfn = pte_pfn(pte); in set_pte()
437 pte = pte_set_home(pte, page_home(pfn_to_page(pfn))); in set_pte()
438 } else if (hv_pte_get_mode(pte) == 0) { in set_pte()
444 __set_pte(ptep, pte); in set_pte()