x86/mm: Allow map_domain_page_global() to be used during boot
authorAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 7 Sep 2017 16:38:52 +0000 (17:38 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 8 Sep 2017 14:39:43 +0000 (15:39 +0100)
commit70892c317fd56064b09a4b0fcaa0781735e64efc
tree70f7c677b9570dc94c6f3c1fbbf580ceebb247ac
parent2ef87a2d97f85f43c88e1adf7b5bc0b018270ba1
x86/mm: Allow map_domain_page_global() to be used during boot

map_domain_page_global() uses vmap under the hood, which is set up immediately
after switching to SYS_STATE_boot.  Relax the local_irq_is_enabled() part of
the assertion before Xen has finished booting, so map_domain_page_global() can
be used duing SMP preparation.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/domain_page.c