[SeaBIOS] [PATCH 03/10] Xen: Use PAGE_SHIFT as a constant

[Daniel Castro]

PAGE_SHIFT can now be used as a contant instead of "<< 12".

Signed-off-by: Daniel Castro 
---
 src/xen.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/xen.c b/src/xen.c
index 4072793..5e93a41 100644
--- a/src/xen.c
+++ b/src/xen.c
@@ -96,7 +96,7 @@ void xen_init_hypercalls(void)

dprintf(1, "Allocated Xen hypercall page at %lx\n", xen_hypercall_page);
     for ( i = 0; i < eax; i++ )
-        wrmsr(ebx, xen_hypercall_page + (i << 12) + i);
+        wrmsr(ebx, xen_hypercall_page + (i << PAGE_SHIFT) + i);

/* Print version information. */
     cpuid(xen_cpuid_base + 1, &eax, &ebx, &ecx, &edx);