Rev 1830 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1830 | Rev 1831 | ||
|---|---|---|---|
| Line 47... | Line 47... | ||
| 47 | 47 | ||
| 48 | #ifndef __ASM__ |
48 | #ifndef __ASM__ |
| 49 | 49 | ||
| 50 | #define mp_map ((pfn_t *) XEN_VIRT_START) |
50 | #define mp_map ((pfn_t *) XEN_VIRT_START) |
| 51 | 51 | ||
| - | 52 | #define SIF_PRIVILEGED (1 << 0) /**< Privileged domain */ |
|
| - | 53 | #define SIF_INITDOMAIN (1 << 1) /**< Iinitial control domain */ |
|
| - | 54 | ||
| 52 | #include <arch/types.h> |
55 | #include <arch/types.h> |
| 53 | 56 | ||
| 54 | typedef uint32_t evtchn_t; |
57 | typedef uint32_t evtchn_t; |
| 55 | 58 | ||
| 56 | typedef struct { |
59 | typedef struct { |
| Line 99... | Line 102... | ||
| 99 | uint32_t frames; /**< Available frames */ |
102 | uint32_t frames; /**< Available frames */ |
| 100 | shared_info_t *shared_info; /**< Shared info structure (machine address) */ |
103 | shared_info_t *shared_info; /**< Shared info structure (machine address) */ |
| 101 | uint32_t flags; /**< SIF_xxx flags */ |
104 | uint32_t flags; /**< SIF_xxx flags */ |
| 102 | pfn_t store_mfn; /**< Shared page (machine page) */ |
105 | pfn_t store_mfn; /**< Shared page (machine page) */ |
| 103 | evtchn_t store_evtchn; /**< Event channel for store communication */ |
106 | evtchn_t store_evtchn; /**< Event channel for store communication */ |
| 104 | void *console_mfn; /**< Console page (machine address) */ |
107 | pfn_t console_mfn; /**< Console page (machine page) */ |
| 105 | evtchn_t console_evtchn; /**< Event channel for console messages */ |
108 | evtchn_t console_evtchn; /**< Event channel for console messages */ |
| 106 | pte_t *ptl0; /**< Boot PTL0 (kernel address) */ |
109 | pte_t *ptl0; /**< Boot PTL0 (kernel address) */ |
| 107 | uint32_t pt_frames; /**< Number of bootstrap page table frames */ |
110 | uint32_t pt_frames; /**< Number of bootstrap page table frames */ |
| 108 | pfn_t *pm_map; /**< Physical->machine frame map (kernel address) */ |
111 | pfn_t *pm_map; /**< Physical->machine frame map (kernel address) */ |
| 109 | void *mod_start; /**< Modules start (kernel address) */ |
112 | void *mod_start; /**< Modules start (kernel address) */ |