diff options
Diffstat (limited to 'extras/mini-os/arch/x86/setup.c')
-rw-r--r-- | extras/mini-os/arch/x86/setup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/arch/x86/setup.c b/extras/mini-os/arch/x86/setup.c index 066c87f5b7..ca97131315 100644 --- a/extras/mini-os/arch/x86/setup.c +++ b/extras/mini-os/arch/x86/setup.c @@ -53,7 +53,7 @@ extern char shared_info[PAGE_SIZE]; void hypervisor_callback(void); void failsafe_callback(void); -#if !defined(CONFIG_X86_PAE) +#if defined(__x86_64__) #define __pte(x) ((pte_t) { (x) } ) #else #define __pte(x) ({ unsigned long long _x = (x); \ |