Subversion Repositories HelenOS

Rev

Rev 1821 | Go to most recent revision | Show entire file | Ignore 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