x86: fix paging_max_paddr_bits()
authorJuergen Gross <jgross@suse.com>
Wed, 28 Nov 2018 14:51:20 +0000 (15:51 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 28 Nov 2018 14:51:20 +0000 (15:51 +0100)
commit729f10014af6598855f00cf0fa45df78640c269d
tree2b946e1d5d3653bd75b387f4327602ba12398667
parent298556c7b5f89243133378132a0c3024bdf6e563
x86: fix paging_max_paddr_bits()

paging_max_paddr_bits() has an invalid use of IS_ENABLED(): instead of
IS_ENABLED(CONFIG_BIGMEM) it is using IS_ENABLED(BIGMEM). Fix that.

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Roger Pau Monné <roger.pau@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/include/asm-x86/paging.h