Searched refs:arch_mem_page_out (Results 1 – 4 of 4) sorted by relevance
400 void arch_mem_page_out(void *addr, uintptr_t location);
1354 arch_mem_page_out(k_mem_page_frame_to_virt(pf), *location_ptr); in page_frame_prepare_locked()
1416 void arch_mem_page_out(void *addr, uintptr_t location) in arch_mem_page_out() function
2094 void arch_mem_page_out(void *addr, uintptr_t location) in arch_mem_page_out() function
