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