| 2619 | } |
| 2620 | |
| 2621 | enum vm_reg_name |
| 2622 | vm_segment_name(int seg) |
| 2623 | { |
| 2624 | static enum vm_reg_name seg_names[] = { |
| 2625 | VM_REG_GUEST_ES, |
| 2626 | VM_REG_GUEST_CS, |
| 2627 | VM_REG_GUEST_SS, |
| 2628 | VM_REG_GUEST_DS, |
| 2629 | VM_REG_GUEST_FS, |
| 2630 | VM_REG_GUEST_GS |
| 2631 | }; |
| 2632 | |
| 2633 | KASSERT(seg >= 0 && seg < nitems(seg_names), |
| 2634 | ("%s: invalid segment encoding %d", __func__, seg)); |
| 2635 | return (seg_names[seg]); |
| 2636 | } |
| 2637 | |
| 2638 | void |
| 2639 | vm_copy_teardown(struct vm *vm, int vcpuid, struct vm_copyinfo *copyinfo, |
no outgoing calls
no test coverage detected