| 2018 | } |
| 2019 | |
| 2020 | static void |
| 2021 | vmx_paging_info(struct vm_guest_paging *paging) |
| 2022 | { |
| 2023 | paging->cr3 = vmcs_guest_cr3(); |
| 2024 | paging->cpl = vmx_cpl(); |
| 2025 | paging->cpu_mode = vmx_cpu_mode(); |
| 2026 | paging->paging_mode = vmx_paging_mode(); |
| 2027 | } |
| 2028 | |
| 2029 | static void |
| 2030 | vmexit_inst_emul(struct vm_exit *vmexit, uint64_t gpa, uint64_t gla) |
no test coverage detected