Searched refs:arch_mem_page_in (Results 1 – 4 of 4) sorted by relevance
419 void arch_mem_page_in(void *addr, uintptr_t phys);
1749 arch_mem_page_in(addr, k_mem_page_frame_to_phys(pf)); in do_page_fault()
1448 void arch_mem_page_in(void *addr, uintptr_t phys) in arch_mem_page_in() function
2109 void arch_mem_page_in(void *addr, uintptr_t phys) in arch_mem_page_in() function