1 files changed, 4 insertions, 4 deletions

diff --git a/include/xen/interface/xen.h b/include/xen/interface/xen.h
index 0801468f9ab..886a5d80a18 100644
--- a/include/xen/interface/xen.h
+++ b/include/xen/interface/xen.h
@@ -10,7 +10,6 @@
 #define __XEN_PUBLIC_XEN_H__
 
 #include <asm/xen/interface.h>
-#include <asm/pvclock-abi.h>
 
 /*
  * XEN "SYSTEM CALLS" (a.k.a. HYPERCALLS).
@@ -190,7 +189,7 @@ struct mmuext_op {
         unsigned int cmd;
         union {
                 /* [UN]PIN_TABLE, NEW_BASEPTR, NEW_USER_BASEPTR */
-                unsigned long mfn;
+                xen_pfn_t mfn;
                 /* INVLPG_LOCAL, INVLPG_ALL, SET_LDT */
                 unsigned long linear_addr;
         } arg1;
@@ -430,11 +429,11 @@ struct start_info {
         unsigned long nr_pages;     /* Total pages allocated to this domain.  */
         unsigned long shared_info;  /* MACHINE address of shared info struct. */
         uint32_t flags;             /* SIF_xxx flags.                         */
-        unsigned long store_mfn;    /* MACHINE page number of shared page.    */
+        xen_pfn_t store_mfn;        /* MACHINE page number of shared page.    */
         uint32_t store_evtchn;      /* Event channel for store communication. */
         union {
                 struct {
-                        unsigned long mfn;  /* MACHINE page number of console page.   */
+                        xen_pfn_t mfn;      /* MACHINE page number of console page.   */
                         uint32_t  evtchn;   /* Event channel for console page.        */
                 } domU;
                 struct {
@@ -455,6 +454,7 @@ struct dom0_vga_console_info {
         uint8_t video_type;
 #define XEN_VGATYPE_TEXT_MODE_3 0x03
 #define XEN_VGATYPE_VESA_LFB    0x23
+#define XEN_VGATYPE_EFI_LFB     0x70
 
         union {
                 struct {