Subversion Repositories HelenOS

Rev

Rev 1824 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1807 decky 1
/*
2
 * Copyright (C) 2006 Martin Decky
3
 * All rights reserved.
4
 *
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
7
 * are met:
8
 *
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
13
 *   documentation and/or other materials provided with the distribution.
14
 * - The name of the author may not be used to endorse or promote products
15
 *   derived from this software without specific prior written permission.
16
 *
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
28
 
29
/** @addtogroup xen32
30
 * @{
31
 */
32
/** @file
33
 */
34
 
35
#ifndef __xen32_BOOT_H__
36
#define __xen32_BOOT_H__
37
 
1813 decky 38
#define GUEST_CMDLINE   1024
1824 decky 39
#define VIRT_CPUS       32
1813 decky 40
#define START_INFO_SIZE 1104
1824 decky 41
 
1810 decky 42
#define BOOT_OFFSET     0x0000
1829 decky 43
#define TEMP_STACK_SIZE 0x1000
44
 
1824 decky 45
#define XEN_VIRT_START  0xFC000000
1829 decky 46
#define XEN_CS          0xe019
1807 decky 47
 
1813 decky 48
#ifndef __ASM__
49
 
1824 decky 50
#define mp_map ((pfn_t *) XEN_VIRT_START)
51
 
1813 decky 52
#include <arch/types.h>
53
 
1824 decky 54
typedef uint32_t evtchn_t;
55
 
1813 decky 56
typedef struct {
1824 decky 57
    uint32_t version;
58
    uint32_t pad0;
59
    uint64_t tsc_timestamp;   /**< TSC at last update of time vals */
60
    uint64_t system_time;     /**< Time, in nanosecs, since boot */
61
    uint32_t tsc_to_system_mul;
62
    int8_t tsc_shift;
63
    int8_t pad1[3];
64
} vcpu_time_info_t;
65
 
66
typedef struct {
67
    uint32_t cr2;
68
    uint32_t pad[5];
69
} arch_vcpu_info_t;
70
 
71
typedef struct arch_shared_info {
72
    pfn_t max_pfn;                  /**< max pfn that appears in table */
73
    uint32_t pfn_to_mfn_frame_list_list;
74
    uint32_t nmi_reason;
75
} arch_shared_info_t;
76
 
77
typedef struct {
78
    uint8_t evtchn_upcall_pending;
79
    uint8_t evtchn_upcall_mask;
80
    evtchn_t evtchn_pending_sel;
81
    arch_vcpu_info_t arch;
82
    vcpu_time_info_t time;
83
} vcpu_info_t;
84
 
85
typedef struct {
86
    vcpu_info_t vcpu_info[VIRT_CPUS];
87
    evtchn_t evtchn_pending[32];
88
    evtchn_t evtchn_mask[32];
89
 
90
    uint32_t wc_version;                  /**< Version counter */
91
    uint32_t wc_sec;                      /**< Secs  00:00:00 UTC, Jan 1, 1970 */
92
    uint32_t wc_nsec;                     /**< Nsecs 00:00:00 UTC, Jan 1, 1970 */
93
 
94
    arch_shared_info_t arch;
95
} shared_info_t;
96
 
97
typedef struct {
1821 decky 98
    int8_t magic[32];           /**< "xen-<version>-<platform>" */
99
    uint32_t frames;            /**< Available frames */
1824 decky 100
    shared_info_t *shared_info; /**< Shared info structure (machine address) */
1813 decky 101
    uint32_t flags;             /**< SIF_xxx flags */
1821 decky 102
    pfn_t store_mfn;            /**< Shared page (machine page) */
1824 decky 103
    evtchn_t store_evtchn;      /**< Event channel for store communication */
1821 decky 104
    void *console_mfn;          /**< Console page (machine address) */
1824 decky 105
    evtchn_t console_evtchn;    /**< Event channel for console messages */
1821 decky 106
    pte_t *ptl0;                /**< Boot PTL0 (kernel address) */
107
    uint32_t pt_frames;         /**< Number of bootstrap page table frames */
108
    pfn_t *pm_map;              /**< Physical->machine frame map (kernel address) */
109
    void *mod_start;            /**< Modules start (kernel address) */
110
    uint32_t mod_len;           /**< Modules size (bytes) */
1813 decky 111
    int8_t cmd_line[GUEST_CMDLINE];
112
} start_info_t;
113
 
1824 decky 114
typedef struct {
115
    pfn_t start;
116
    pfn_t size;
117
    pfn_t reserved;
118
} memzone_t;
119
 
1813 decky 120
extern start_info_t start_info;
1824 decky 121
extern shared_info_t shared_info;
122
extern memzone_t meminfo;
1813 decky 123
 
1807 decky 124
#endif
125
 
1813 decky 126
#endif
127
 
1807 decky 128
/** @}
129
 */