Home
last modified time | relevance | path

Searched refs:set_pte_vaddr_p4d (Results 1 - 4 of 4) sorted by relevance

/kernel/linux/linux-5.10/arch/x86/include/asm/
H A Dpgtable_64.h62 void set_pte_vaddr_p4d(p4d_t *p4d_page, unsigned long vaddr, pte_t new_pte);
/kernel/linux/linux-6.6/arch/x86/include/asm/
H A Dpgtable_64.h62 void set_pte_vaddr_p4d(p4d_t *p4d_page, unsigned long vaddr, pte_t new_pte);
/kernel/linux/linux-5.10/arch/x86/mm/
H A Dinit_64.c304 void set_pte_vaddr_p4d(p4d_t *p4d_page, unsigned long vaddr, pte_t new_pte) in set_pte_vaddr_p4d() function
334 set_pte_vaddr_p4d(p4d_page, vaddr, pteval); in set_pte_vaddr()
/kernel/linux/linux-6.6/arch/x86/mm/
H A Dinit_64.c310 void set_pte_vaddr_p4d(p4d_t *p4d_page, unsigned long vaddr, pte_t new_pte) in set_pte_vaddr_p4d() function
340 set_pte_vaddr_p4d(p4d_page, vaddr, pteval); in set_pte_vaddr()

Completed in 5 milliseconds