kernel/arch/ia32xen/include/boot/boot.h

   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 ia32xen
  30  * @{
  31  */
  32 /** @file
  33  */
  34
  35 #ifndef KERN_ia32xen_BOOT_H_
  36 #define KERN_ia32xen_BOOT_H_
  37
  38 #define GUEST_CMDLINE   1024
  39 #define VIRT_CPUS       32
  40 #define START_INFO_SIZE 1104
  41
  42 #define BOOT_OFFSET             0x0000
  43 #define TEMP_STACK_SIZE 0x1000
  44
  45 #define XEN_VIRT_START  0xFC000000
  46 #define XEN_CS                  0xe019
  47
  48 #define XEN_ELFNOTE_INFO                        0
  49 #define XEN_ELFNOTE_ENTRY                       1
  50 #define XEN_ELFNOTE_HYPERCALL_PAGE      2
  51 #define XEN_ELFNOTE_VIRT_BASE           3
  52 #define XEN_ELFNOTE_PADDR_OFFSET        4
  53 #define XEN_ELFNOTE_XEN_VERSION         5
  54 #define XEN_ELFNOTE_GUEST_OS            6
  55 #define XEN_ELFNOTE_GUEST_VERSION       7
  56 #define XEN_ELFNOTE_LOADER                      8
  57 #define XEN_ELFNOTE_PAE_MODE            9
  58 #define XEN_ELFNOTE_FEATURES            10
  59 #define XEN_ELFNOTE_BSD_SYMTAB          11
  60
  61 #ifndef __ASM__
  62
  63 #define mp_map ((pfn_t *) XEN_VIRT_START)
  64
  65 #define SIF_PRIVILEGED  (1 << 0)  /**< Privileged domain */
  66 #define SIF_INITDOMAIN  (1 << 1)  /**< Iinitial control domain */
  67
  68 #include <arch/types.h>
  69
  70 typedef uint32_t evtchn_t;
  71
  72 typedef struct {
  73         uint32_t version;
  74         uint32_t pad0;
  75         uint64_t tsc_timestamp;   /**< TSC at last update of time vals */
  76         uint64_t system_time;     /**< Time, in nanosecs, since boot */
  77         uint32_t tsc_to_system_mul;
  78         int8_t tsc_shift;
  79         int8_t pad1[3];
  80 } vcpu_time_info_t;
  81
  82 typedef struct {
  83         uint32_t cr2;
  84         uint32_t pad[5];
  85 } arch_vcpu_info_t;
  86
  87 typedef struct arch_shared_info {
  88         pfn_t max_pfn;                  /**< max pfn that appears in table */
  89         uint32_t pfn_to_mfn_frame_list_list;
  90     uint32_t nmi_reason;
  91 } arch_shared_info_t;
  92
  93 typedef struct {
  94         uint8_t evtchn_upcall_pending;
  95         ipl_t evtchn_upcall_mask;
  96         evtchn_t evtchn_pending_sel;
  97         arch_vcpu_info_t arch;
  98         vcpu_time_info_t time;
  99 } vcpu_info_t;
 100
 101 typedef struct {
 102         vcpu_info_t vcpu_info[VIRT_CPUS];
 103         evtchn_t evtchn_pending[32];
 104         evtchn_t evtchn_mask[32];
 105
 106         uint32_t wc_version;                  /**< Version counter */
 107         uint32_t wc_sec;                      /**< Secs  00:00:00 UTC, Jan 1, 1970 */
 108         uint32_t wc_nsec;                     /**< Nsecs 00:00:00 UTC, Jan 1, 1970 */
 109
 110         arch_shared_info_t arch;
 111 } shared_info_t;
 112
 113 typedef struct {
 114         int8_t magic[32];           /**< "xen-<version>-<platform>" */
 115         uint32_t frames;            /**< Available frames */
 116         shared_info_t *shared_info; /**< Shared info structure (machine address) */
 117         uint32_t flags;             /**< SIF_xxx flags */
 118         pfn_t store_mfn;            /**< Shared page (machine page) */
 119         evtchn_t store_evtchn;      /**< Event channel for store communication */
 120
 121         union {
 122         struct {
 123                         pfn_t mfn;          /**< Console page (machine page) */
 124                         evtchn_t evtchn;    /**< Event channel for console messages */
 125         } domU;
 126
 127         struct {
 128             uint32_t info_off;  /**< Offset of console_info struct */
 129             uint32_t info_size; /**< Size of console_info struct from start */
 130         } dom0;
 131     } console;
 132
 133         pte_t *ptl0;                /**< Boot PTL0 (kernel address) */
 134         uint32_t pt_frames;         /**< Number of bootstrap page table frames */
 135         pfn_t *pm_map;              /**< Physical->machine frame map (kernel address) */
 136         void *mod_start;            /**< Modules start (kernel address) */
 137         uint32_t mod_len;           /**< Modules size (bytes) */
 138         int8_t cmd_line[GUEST_CMDLINE];
 139 } start_info_t;
 140
 141 #define XEN_CONSOLE_VGA         0x03
 142 #define XEN_CONSOLE_VESA        0x23
 143
 144 typedef struct {
 145     uint8_t video_type;
 146
 147     union {
 148         struct {
 149             uint16_t font_height;
 150             uint16_t cursor_x;
 151                         uint16_t cursor_y;
 152             uint16_t rows;
 153                         uint16_t columns;
 154         } vga;
 155
 156         struct {
 157             uint16_t width;
 158                         uint16_t height;
 159             uint16_t bytes_per_line;
 160             uint16_t bits_per_pixel;
 161             uint32_t lfb_base;
 162             uint32_t lfb_size;
 163             uint8_t red_pos;
 164                         uint8_t red_size;
 165             uint8_t green_pos;
 166                         uint8_t green_size;
 167             uint8_t blue_pos;
 168                         uint8_t blue_size;
 169             uint8_t rsvd_pos;
 170                         uint8_t rsvd_size;
 171         } vesa_lfb;
 172     } info;
 173 } console_info_t;
 174
 175 typedef struct {
 176         pfn_t start;
 177         pfn_t size;
 178         pfn_t reserved;
 179 } memzone_t;
 180
 181 extern start_info_t start_info;
 182 extern shared_info_t shared_info;
 183 extern memzone_t meminfo;
 184
 185 #endif
 186
 187 #endif
 188
 189 /** @}
 190  */