sync_initial_page_table 32 arch/x86/include/asm/pgtable_64.h static inline void sync_initial_page_table(void) { } sync_initial_page_table 456 arch/x86/mm/init_32.c void __init sync_initial_page_table(void)