diff --git a/xenfbfront.c b/xenfbfront.c
index 32761a5..743c065 100644
--- a/xenfbfront.c
+++ b/xenfbfront.c
@@ -28,6 +28,11 @@ static DisplayChangeListener *dcl;
 
 extern uint32_t vga_ram_size;
 
+#ifdef CONFIG_STUBDOM
+#undef PAGE_SIZE
+#define PAGE_SIZE TARGET_PAGE_SIZE
+#endif
+
 int xenfb_connect_vkbd(const char *path)
 {
     kbd_path = strdup(path);