sync_initial_page_table
static inline void sync_initial_page_table(void) { }
void __init sync_initial_page_table(void)