Rev 1821 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1821 | Rev 1824 | ||
---|---|---|---|
Line 34... | Line 34... | ||
34 | 34 | ||
35 | #ifndef __xen32_BOOT_H__ |
35 | #ifndef __xen32_BOOT_H__ |
36 | #define __xen32_BOOT_H__ |
36 | #define __xen32_BOOT_H__ |
37 | 37 | ||
38 | #define GUEST_CMDLINE 1024 |
38 | #define GUEST_CMDLINE 1024 |
- | 39 | #define VIRT_CPUS 32 |
|
39 | #define START_INFO_SIZE 1104 |
40 | #define START_INFO_SIZE 1104 |
- | 41 | ||
40 | #define BOOT_OFFSET 0x0000 |
42 | #define BOOT_OFFSET 0x0000 |
- | 43 | #define XEN_VIRT_START 0xFC000000 |
|
- | 44 | ||
- | 45 | #define TEMP_STACK_SIZE 0x1000 |
|
41 | 46 | ||
42 | #ifndef __ASM__ |
47 | #ifndef __ASM__ |
43 | 48 | ||
- | 49 | #define mp_map ((pfn_t *) XEN_VIRT_START) |
|
- | 50 | ||
44 | #include <arch/types.h> |
51 | #include <arch/types.h> |
45 | 52 | ||
- | 53 | typedef uint32_t evtchn_t; |
|
- | 54 | ||
- | 55 | typedef struct { |
|
- | 56 | uint32_t version; |
|
- | 57 | uint32_t pad0; |
|
- | 58 | uint64_t tsc_timestamp; /**< TSC at last update of time vals */ |
|
- | 59 | uint64_t system_time; /**< Time, in nanosecs, since boot */ |
|
- | 60 | uint32_t tsc_to_system_mul; |
|
- | 61 | int8_t tsc_shift; |
|
- | 62 | int8_t pad1[3]; |
|
- | 63 | } vcpu_time_info_t; |
|
- | 64 | ||
- | 65 | typedef struct { |
|
- | 66 | uint32_t cr2; |
|
- | 67 | uint32_t pad[5]; |
|
- | 68 | } arch_vcpu_info_t; |
|
- | 69 | ||
- | 70 | typedef struct arch_shared_info { |
|
- | 71 | pfn_t max_pfn; /**< max pfn that appears in table */ |
|
- | 72 | uint32_t pfn_to_mfn_frame_list_list; |
|
- | 73 | uint32_t nmi_reason; |
|
- | 74 | } arch_shared_info_t; |
|
- | 75 | ||
- | 76 | typedef struct { |
|
- | 77 | uint8_t evtchn_upcall_pending; |
|
- | 78 | uint8_t evtchn_upcall_mask; |
|
- | 79 | evtchn_t evtchn_pending_sel; |
|
- | 80 | arch_vcpu_info_t arch; |
|
- | 81 | vcpu_time_info_t time; |
|
- | 82 | } vcpu_info_t; |
|
- | 83 | ||
- | 84 | typedef struct { |
|
- | 85 | vcpu_info_t vcpu_info[VIRT_CPUS]; |
|
- | 86 | evtchn_t evtchn_pending[32]; |
|
- | 87 | evtchn_t evtchn_mask[32]; |
|
- | 88 | ||
- | 89 | uint32_t wc_version; /**< Version counter */ |
|
- | 90 | uint32_t wc_sec; /**< Secs 00:00:00 UTC, Jan 1, 1970 */ |
|
- | 91 | uint32_t wc_nsec; /**< Nsecs 00:00:00 UTC, Jan 1, 1970 */ |
|
- | 92 | ||
- | 93 | arch_shared_info_t arch; |
|
- | 94 | } shared_info_t; |
|
- | 95 | ||
46 | typedef struct { |
96 | typedef struct { |
47 | int8_t magic[32]; /**< "xen-<version>-<platform>" */ |
97 | int8_t magic[32]; /**< "xen-<version>-<platform>" */ |
48 | uint32_t frames; /**< Available frames */ |
98 | uint32_t frames; /**< Available frames */ |
49 | void *shared_info; /**< Shared info structure (machine address) */ |
99 | shared_info_t *shared_info; /**< Shared info structure (machine address) */ |
50 | uint32_t flags; /**< SIF_xxx flags */ |
100 | uint32_t flags; /**< SIF_xxx flags */ |
51 | pfn_t store_mfn; /**< Shared page (machine page) */ |
101 | pfn_t store_mfn; /**< Shared page (machine page) */ |
52 | uint32_t store_evtchn; /**< Event channel for store communication */ |
102 | evtchn_t store_evtchn; /**< Event channel for store communication */ |
53 | void *console_mfn; /**< Console page (machine address) */ |
103 | void *console_mfn; /**< Console page (machine address) */ |
54 | uint32_t console_evtchn; /**< Event channel for console messages */ |
104 | evtchn_t console_evtchn; /**< Event channel for console messages */ |
55 | pte_t *ptl0; /**< Boot PTL0 (kernel address) */ |
105 | pte_t *ptl0; /**< Boot PTL0 (kernel address) */ |
56 | uint32_t pt_frames; /**< Number of bootstrap page table frames */ |
106 | uint32_t pt_frames; /**< Number of bootstrap page table frames */ |
57 | pfn_t *pm_map; /**< Physical->machine frame map (kernel address) */ |
107 | pfn_t *pm_map; /**< Physical->machine frame map (kernel address) */ |
58 | void *mod_start; /**< Modules start (kernel address) */ |
108 | void *mod_start; /**< Modules start (kernel address) */ |
59 | uint32_t mod_len; /**< Modules size (bytes) */ |
109 | uint32_t mod_len; /**< Modules size (bytes) */ |
60 | int8_t cmd_line[GUEST_CMDLINE]; |
110 | int8_t cmd_line[GUEST_CMDLINE]; |
61 | } start_info_t; |
111 | } start_info_t; |
62 | 112 | ||
- | 113 | typedef struct { |
|
- | 114 | pfn_t start; |
|
- | 115 | pfn_t size; |
|
- | 116 | pfn_t reserved; |
|
- | 117 | } memzone_t; |
|
- | 118 | ||
63 | extern start_info_t start_info; |
119 | extern start_info_t start_info; |
- | 120 | extern shared_info_t shared_info; |
|
- | 121 | extern memzone_t meminfo; |
|
64 | 122 | ||
65 | #endif |
123 | #endif |
66 | 124 | ||
67 | #endif |
125 | #endif |
68 | 126 |