Searched defs:arch_page_info_get (Results 1 – 2 of 2) sorted by relevance
1512 uintptr_t arch_page_info_get(void *addr, uintptr_t *phys, bool clear_accessed) in arch_page_info_get() function
2129 uintptr_t arch_page_info_get(void *addr, uintptr_t *phys, bool clear_accessed) in arch_page_info_get() function
