|
@@ -1204,10 +1204,6 @@ asmlinkage void __init xen_start_kernel(void)
|
|
|
|
|
|
pgd = (pgd_t *)xen_start_info->pt_base;
|
|
|
|
|
|
- if (!xen_initial_domain())
|
|
|
- __supported_pte_mask &= ~(_PAGE_PWT | _PAGE_PCD);
|
|
|
-
|
|
|
- __supported_pte_mask |= _PAGE_IOMAP;
|
|
|
/* Don't do the full vcpu_info placement stuff until we have a
|
|
|
possible map and a non-dummy shared_info. */
|
|
|
per_cpu(xen_vcpu, 0) = &HYPERVISOR_shared_info->vcpu_info[0];
|