@@ -62,6 +62,8 @@ static int alloc_magic_pages(struct xc_dom_image *dom)
const xen_pfn_t base = GUEST_MAGIC_BASE >> PAGE_SHIFT;
xen_pfn_t p2m[NR_MAGIC_PAGES];
+ XC_BUILD_BUG_ON(NR_MAGIC_PAGES > GUEST_MAGIC_SIZE >> XC_PAGE_SHIFT);
+
DOMPRINTF_CALLED(dom->xch);
for (i = 0; i < NR_MAGIC_PAGES; i++)
@@ -376,6 +376,7 @@ typedef uint64_t xen_callback_t;
#define GUEST_GNTTAB_SIZE 0x01000000ULL
#define GUEST_MAGIC_BASE 0x39000000ULL
+#define GUEST_MAGIC_SIZE 0x01000000ULL
#define GUEST_RAM0_BASE 0x40000000ULL /* 3GB of low RAM @ 1GB */
#define GUEST_RAM0_SIZE 0xc0000000ULL