Searched refs:pgd_changed (Results 1 – 1 of 1) sorted by relevance
613 bool pgd_changed = false; in kernel_physical_mapping_init() local641 pgd_changed = true; in kernel_physical_mapping_init()644 if (pgd_changed) in kernel_physical_mapping_init()991 bool pgd_changed = false; in remove_pagetable() local1003 pgd_changed = true; in remove_pagetable()1006 if (pgd_changed) in remove_pagetable()