Searched refs:get_current_pgd (Results 1 – 1 of 1) sorted by relevance
184 static pgd_t *get_current_pgd(void) in get_current_pgd() function310 pgd = get_current_pgd(); in handle_page_fault()606 pgd_t *pgd = get_current_pgd(); in do_page_fault_ics()