Rev 1813 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1813 | Rev 1817 | ||
|---|---|---|---|
| Line 44... | Line 44... | ||
| 44 | #include <arch/types.h> |
44 | #include <arch/types.h> |
| 45 | 45 | ||
| 46 | typedef struct { |
46 | typedef struct { |
| 47 | char magic[32]; /**< "xen-<version>-<platform>" */ |
47 | char magic[32]; /**< "xen-<version>-<platform>" */ |
| 48 | unsigned long nr_pages; /**< Total pages allocated to this domain */ |
48 | unsigned long nr_pages; /**< Total pages allocated to this domain */ |
| 49 | unsigned long shared_info; /**< Physical address of shared info struct */ |
49 | void *shared_info; /**< Machine address of shared info struct */ |
| 50 | uint32_t flags; /**< SIF_xxx flags */ |
50 | uint32_t flags; /**< SIF_xxx flags */ |
| 51 | unsigned long store_mfn; /**< Physical page number of shared page */ |
51 | void *store_mfn; /**< Machine page number of shared page */ |
| 52 | uint32_t store_evtchn; /**< Event channel for store communication */ |
52 | uint32_t store_evtchn; /**< Event channel for store communication */ |
| 53 | unsigned long console_mfn; /**< Physical address of console page */ |
53 | void *console_mfn; /**< Machine address of console page */ |
| 54 | uint32_t console_evtchn; /**< Event channel for console messages */ |
54 | uint32_t console_evtchn; /**< Event channel for console messages */ |
| 55 | unsigned long pt_base; /**< Virtual address of page directory */ |
55 | unsigned long *pt_base; /**< Virtual address of page directory */ |
| 56 | unsigned long nr_pt_frames; /**< Number of bootstrap p.t. frames */ |
56 | unsigned long nr_pt_frames; /**< Number of bootstrap p.t. frames */ |
| 57 | unsigned long mfn_list; /**< Virtual address of page-frame list */ |
57 | unsigned long *mfn_list; /**< Virtual address of page-frame list */ |
| 58 | unsigned long mod_start; /**< Virtual address of pre-loaded module */ |
58 | void *mod_start; /**< Virtual address of pre-loaded module */ |
| 59 | unsigned long mod_len; /**< Size (bytes) of pre-loaded module */ |
59 | unsigned long mod_len; /**< Size (bytes) of pre-loaded module */ |
| 60 | int8_t cmd_line[GUEST_CMDLINE]; |
60 | int8_t cmd_line[GUEST_CMDLINE]; |
| 61 | } start_info_t; |
61 | } start_info_t; |
| 62 | 62 | ||
| 63 | extern start_info_t start_info; |
63 | extern start_info_t start_info; |