aboutsummaryrefslogtreecommitdiffstats
path: root/include/xen/interface/xen.h
diff options
context:
space:
mode:
Diffstat (limited to 'include/xen/interface/xen.h')
-rw-r--r--include/xen/interface/xen.h6
1 files changed, 3 insertions, 3 deletions
diff --git a/include/xen/interface/xen.h b/include/xen/interface/xen.h
index 3871e4753680..42834a36d345 100644
--- a/include/xen/interface/xen.h
+++ b/include/xen/interface/xen.h
@@ -188,7 +188,7 @@ struct mmuext_op {
188 unsigned int cmd; 188 unsigned int cmd;
189 union { 189 union {
190 /* [UN]PIN_TABLE, NEW_BASEPTR, NEW_USER_BASEPTR */ 190 /* [UN]PIN_TABLE, NEW_BASEPTR, NEW_USER_BASEPTR */
191 unsigned long mfn; 191 xen_pfn_t mfn;
192 /* INVLPG_LOCAL, INVLPG_ALL, SET_LDT */ 192 /* INVLPG_LOCAL, INVLPG_ALL, SET_LDT */
193 unsigned long linear_addr; 193 unsigned long linear_addr;
194 } arg1; 194 } arg1;
@@ -428,11 +428,11 @@ struct start_info {
428 unsigned long nr_pages; /* Total pages allocated to this domain. */ 428 unsigned long nr_pages; /* Total pages allocated to this domain. */
429 unsigned long shared_info; /* MACHINE address of shared info struct. */ 429 unsigned long shared_info; /* MACHINE address of shared info struct. */
430 uint32_t flags; /* SIF_xxx flags. */ 430 uint32_t flags; /* SIF_xxx flags. */
431 unsigned long store_mfn; /* MACHINE page number of shared page. */ 431 xen_pfn_t store_mfn; /* MACHINE page number of shared page. */
432 uint32_t store_evtchn; /* Event channel for store communication. */ 432 uint32_t store_evtchn; /* Event channel for store communication. */
433 union { 433 union {
434 struct { 434 struct {
435 unsigned long mfn; /* MACHINE page number of console page. */ 435 xen_pfn_t mfn; /* MACHINE page number of console page. */
436 uint32_t evtchn; /* Event channel for console page. */ 436 uint32_t evtchn; /* Event channel for console page. */
437 } domU; 437 } domU;
438 struct { 438 struct {