x86/paging: paging_set_allocation() is init-only
authorJan Beulich <jbeulich@suse.com>
Mon, 1 Apr 2019 09:09:43 +0000 (11:09 +0200)
committerJan Beulich <jbeulich@suse.com>
Mon, 1 Apr 2019 09:09:43 +0000 (11:09 +0200)
commit7881bf488263f52b8f6dd9935031d7b405958c0c
tree0bed2887597d0b84a2f4aa9c008898c9adc0fda8
parent12381e20b5c2cb2f54601bef47c4f6e43acf3833
x86/paging: paging_set_allocation() is init-only

This is needed for Dom0 creation only, therefore it gets additionally
framed by an #ifdef.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: George Dunlap <george.dunlap@citrix.com>
xen/arch/x86/mm/paging.c