| 79 | } |
| 80 | |
| 81 | static uint32_t |
| 82 | vmcs_field_encoding(int ident) |
| 83 | { |
| 84 | switch (ident) { |
| 85 | case VM_REG_GUEST_CR0: |
| 86 | return (VMCS_GUEST_CR0); |
| 87 | case VM_REG_GUEST_CR3: |
| 88 | return (VMCS_GUEST_CR3); |
| 89 | case VM_REG_GUEST_CR4: |
| 90 | return (VMCS_GUEST_CR4); |
| 91 | case VM_REG_GUEST_DR7: |
| 92 | return (VMCS_GUEST_DR7); |
| 93 | case VM_REG_GUEST_RSP: |
| 94 | return (VMCS_GUEST_RSP); |
| 95 | case VM_REG_GUEST_RIP: |
| 96 | return (VMCS_GUEST_RIP); |
| 97 | case VM_REG_GUEST_RFLAGS: |
| 98 | return (VMCS_GUEST_RFLAGS); |
| 99 | case VM_REG_GUEST_ES: |
| 100 | return (VMCS_GUEST_ES_SELECTOR); |
| 101 | case VM_REG_GUEST_CS: |
| 102 | return (VMCS_GUEST_CS_SELECTOR); |
| 103 | case VM_REG_GUEST_SS: |
| 104 | return (VMCS_GUEST_SS_SELECTOR); |
| 105 | case VM_REG_GUEST_DS: |
| 106 | return (VMCS_GUEST_DS_SELECTOR); |
| 107 | case VM_REG_GUEST_FS: |
| 108 | return (VMCS_GUEST_FS_SELECTOR); |
| 109 | case VM_REG_GUEST_GS: |
| 110 | return (VMCS_GUEST_GS_SELECTOR); |
| 111 | case VM_REG_GUEST_TR: |
| 112 | return (VMCS_GUEST_TR_SELECTOR); |
| 113 | case VM_REG_GUEST_LDTR: |
| 114 | return (VMCS_GUEST_LDTR_SELECTOR); |
| 115 | case VM_REG_GUEST_EFER: |
| 116 | return (VMCS_GUEST_IA32_EFER); |
| 117 | case VM_REG_GUEST_PDPTE0: |
| 118 | return (VMCS_GUEST_PDPTE0); |
| 119 | case VM_REG_GUEST_PDPTE1: |
| 120 | return (VMCS_GUEST_PDPTE1); |
| 121 | case VM_REG_GUEST_PDPTE2: |
| 122 | return (VMCS_GUEST_PDPTE2); |
| 123 | case VM_REG_GUEST_PDPTE3: |
| 124 | return (VMCS_GUEST_PDPTE3); |
| 125 | case VM_REG_GUEST_ENTRY_INST_LENGTH: |
| 126 | return (VMCS_ENTRY_INST_LENGTH); |
| 127 | default: |
| 128 | return (-1); |
| 129 | } |
| 130 | |
| 131 | } |
| 132 | |
| 133 | static int |
| 134 | vmcs_seg_desc_encoding(int seg, uint32_t *base, uint32_t *lim, uint32_t *acc) |
no outgoing calls
no test coverage detected