2b32ab031e82 ("x86/mm/64: Make sync_global_pgds() static")