Hi, Function x86_init_kernel_pgd() in x86.c has a redundant code that should be removed. x86_init_kernel_pgd(void) { int i; ulong value; value = symbol_value("swapper_pg_dir"); // <--- THIS IS NOT NECESSARY if (XEN()) get_symbol_data("swapper_pg_dir", sizeof(ulong), &value); else value = symbol_value("swapper_pg_dir"); for (i = 0; i < NR_CPUS; i++) vt->kernel_pgd[i] = value; } Thanks, J