palacios/include/palacios/vmx_assist.h

   1 /*
   2  * vmx_assist.h: Context definitions for the VMXASSIST world switch.
   3  *
   4  * Permission is hereby granted, free of charge, to any person obtaining a copy
   5  * of this software and associated documentation files (the "Software"), to
   6  * deal in the Software without restriction, including without limitation the
   7  * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
   8  * sell copies of the Software, and to permit persons to whom the Software is
   9  * furnished to do so, subject to the following conditions:
  10  *
  11  * The above copyright notice and this permission notice shall be included in
  12  * all copies or substantial portions of the Software.
  13  *
  14  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  15  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  16  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  17  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  18  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
  19  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
  20  * DEALINGS IN THE SOFTWARE.
  21  *
  22  * Leendert van Doorn, leendert@watson.ibm.com
  23  * Copyright (c) 2005, International Business Machines Corporation.
  24  */
  25
  26 #ifndef _VMX_ASSIST_H_
  27 #define _VMX_ASSIST_H_
  28
  29 #ifdef __V3VEE__
  30
  31 #include <palacios/vm_guest.h>
  32
  33 #define VMXASSIST_BASE         0xD0000
  34 #define VMXASSIST_MAGIC        0x17101966
  35
  36
  37 struct vmx_assist_header {
  38     uint64_t rsvd; // 8 bytes of nothing
  39     uint32_t magic;
  40     uint32_t new_ctx_gpa;
  41     uint32_t old_ctx_gpa;
  42 } __attribute__((packed));
  43
  44
  45 union vmcs_arbytes {
  46     struct arbyte_fields {
  47         unsigned int seg_type : 4,
  48             s         : 1,
  49             dpl       : 2,
  50             p         : 1,
  51             reserved0 : 4,
  52             avl       : 1,
  53             reserved1 : 1,
  54             default_ops_size: 1,
  55             g         : 1,
  56             null_bit  : 1,
  57             reserved2 : 15;
  58     } __attribute__((packed)) fields;
  59     unsigned int bytes;
  60 } __attribute__((packed));
  61
  62 struct vmx_assist_segment {
  63     uint32_t sel;
  64     uint32_t limit;
  65     uint32_t base;
  66     union vmcs_arbytes arbytes;
  67 } __attribute__((packed));
  68
  69 /*
  70  * World switch state
  71  */
  72 struct vmx_assist_context {
  73     uint32_t  eip;        /* execution pointer */
  74     uint32_t  esp;        /* stack pointer */
  75     uint32_t  eflags;     /* flags register */
  76     uint32_t  cr0;
  77     uint32_t  cr3;        /* page table directory */
  78     uint32_t  cr4;
  79
  80     uint32_t  idtr_limit; /* idt */
  81     uint32_t  idtr_base;
  82
  83     uint32_t  gdtr_limit; /* gdt */
  84     uint32_t  gdtr_base;
  85
  86     struct vmx_assist_segment cs;
  87     struct vmx_assist_segment ds;
  88     struct vmx_assist_segment es;
  89     struct vmx_assist_segment ss;
  90     struct vmx_assist_segment fs;
  91     struct vmx_assist_segment gs;
  92     struct vmx_assist_segment tr;
  93     struct vmx_assist_segment ldtr;
  94
  95
  96     unsigned char rm_irqbase[2];
  97 } __attribute__((packed));
  98
  99 typedef struct vmx_assist_context vmx_assist_context_t;
 100
 101 int v3_vmxassist_ctx_switch(struct guest_info * info);
 102
 103
 104 #endif
 105
 106 #endif /* _VMX_ASSIST_H_ */
 107
 108 /*
 109  * Local variables:
 110  * mode: C
 111  * c-set-style: "BSD"
 112  * c-basic-offset: 4
 113  * tab-width: 4
 114  * indent-tabs-mode: nil
 115  * End:
 116  */