Searched refs:pgd_changed (Results 1 – 1 of 1) sorted by relevance
603 bool pgd_changed = false; in kernel_physical_mapping_init() local631 pgd_changed = true; in kernel_physical_mapping_init()634 if (pgd_changed) in kernel_physical_mapping_init()981 bool pgd_changed = false; in remove_pagetable() local993 pgd_changed = true; in remove_pagetable()996 if (pgd_changed) in remove_pagetable()