Searched refs:set_pte_vaddr_p4d (Results 1 – 2 of 2) sorted by relevance
56 void set_pte_vaddr_p4d(p4d_t *p4d_page, unsigned long vaddr, pte_t new_pte);
304 void set_pte_vaddr_p4d(p4d_t *p4d_page, unsigned long vaddr, pte_t new_pte) in set_pte_vaddr_p4d() function334 set_pte_vaddr_p4d(p4d_page, vaddr, pteval); in set_pte_vaddr()