Searched refs:pgd_changed (Results 1 – 1 of 1) sorted by relevance
699 bool pgd_changed = false; in kernel_physical_mapping_init() local731 pgd_changed = true; in kernel_physical_mapping_init()734 if (pgd_changed) in kernel_physical_mapping_init()
