| 35,10 → 35,36 |
|---|
| #ifndef __xen32_BOOT_H__ |
| #define __xen32_BOOT_H__ |
| |
| #define GUEST_CMDLINE 1024 |
| #define START_INFO_SIZE 1104 |
| #define BOOT_OFFSET 0x0000 |
| #define TEMP_STACK_SIZE 0x400 |
| |
| #ifndef __ASM__ |
| |
| #include <arch/types.h> |
| |
| typedef struct { |
| char magic[32]; /**< "xen-<version>-<platform>" */ |
| unsigned long nr_pages; /**< Total pages allocated to this domain */ |
| unsigned long shared_info; /**< Physical address of shared info struct */ |
| uint32_t flags; /**< SIF_xxx flags */ |
| unsigned long store_mfn; /**< Physical page number of shared page */ |
| uint32_t store_evtchn; /**< Event channel for store communication */ |
| unsigned long console_mfn; /**< Physical address of console page */ |
| uint32_t console_evtchn; /**< Event channel for console messages */ |
| unsigned long pt_base; /**< Virtual address of page directory */ |
| unsigned long nr_pt_frames; /**< Number of bootstrap p.t. frames */ |
| unsigned long mfn_list; /**< Virtual address of page-frame list */ |
| unsigned long mod_start; /**< Virtual address of pre-loaded module */ |
| unsigned long mod_len; /**< Size (bytes) of pre-loaded module */ |
| int8_t cmd_line[GUEST_CMDLINE]; |
| } start_info_t; |
| |
| extern start_info_t start_info; |
| |
| #endif |
| |
| #endif |
| |
| /** @} |
| */ |