Searched refs:current_pgd (Results 1 – 2 of 2) sorted by relevance
751 pml4t_t *current_pgd = (pml4t_t *)phys_2_virt(pcb->mm->pgd); in process_exit_mm() local781 kfree(current_pgd); in process_exit_mm()
239 uint64_t *current_pgd = (uint64_t *)phys_2_virt(current_pcb->mm->pgd); in process_copy_mm() local