Subversion Repositories HelenOS

Rev

Rev 2017 | Go to most recent revision | Blame | Last modification | View Log | Download | RSS feed

  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.  */
  191.