| 2001 | } |
| 2002 | |
| 2003 | static void |
| 2004 | inout_str_seginfo(struct vmx *vmx, int vcpuid, uint32_t inst_info, int in, |
| 2005 | struct vm_inout_str *vis) |
| 2006 | { |
| 2007 | int error, s; |
| 2008 | |
| 2009 | if (in) { |
| 2010 | vis->seg_name = VM_REG_GUEST_ES; |
| 2011 | } else { |
| 2012 | s = (inst_info >> 15) & 0x7; |
| 2013 | vis->seg_name = vm_segment_name(s); |
| 2014 | } |
| 2015 | |
| 2016 | error = vmx_getdesc(vmx, vcpuid, vis->seg_name, &vis->seg_desc); |
| 2017 | KASSERT(error == 0, ("%s: vmx_getdesc error %d", __func__, error)); |
| 2018 | } |
| 2019 | |
| 2020 | static void |
| 2021 | vmx_paging_info(struct vm_guest_paging *paging) |
no test coverage detected