diff options
author | Jan Beulich <jbeulich@suse.com> | 2013-06-12 17:27:08 +0200 |
---|---|---|
committer | Jan Beulich <jbeulich@suse.com> | 2013-06-12 17:27:08 +0200 |
commit | fd0b06689555be4855b9a70c4f4995e623168e94 (patch) | |
tree | 9f05609829e9b88ddf5e9b9a263e4a0bad755c4e /xen/arch/x86/setup.c | |
parent | 4015145b148121d9647d8a2abe897aabb7197c95 (diff) | |
download | xen-fd0b06689555be4855b9a70c4f4995e623168e94.tar.gz xen-fd0b06689555be4855b9a70c4f4995e623168e94.tar.bz2 xen-fd0b06689555be4855b9a70c4f4995e623168e94.zip |
x86: drop setup_idle_pagetable()
With vcpu->domain->arch.perdomain_l3_pg no longer getting set up for
the idle domain, this creates an invalid L4 entry (due to translating
a NULL struct page_info pointer to a physical address).
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: George Dunlap <george.dunlap@eu.citrix.com>
Diffstat (limited to 'xen/arch/x86/setup.c')
-rw-r--r-- | xen/arch/x86/setup.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/xen/arch/x86/setup.c b/xen/arch/x86/setup.c index 8c8b78dd7c..a70d31bbbb 100644 --- a/xen/arch/x86/setup.c +++ b/xen/arch/x86/setup.c @@ -185,7 +185,6 @@ static void __init init_idle_domain(void) scheduler_init(); set_current(idle_vcpu[0]); this_cpu(curr_vcpu) = current; - setup_idle_pagetable(); } void __devinit srat_detect_node(int cpu) |