| 752 | } |
| 753 | |
| 754 | static void |
| 755 | svm_paging_info(struct vmcb *vmcb, struct vm_guest_paging *paging) |
| 756 | { |
| 757 | struct vmcb_state *state; |
| 758 | |
| 759 | state = &vmcb->state; |
| 760 | paging->cr3 = state->cr3; |
| 761 | paging->cpl = svm_cpl(state); |
| 762 | paging->cpu_mode = svm_vcpu_mode(vmcb); |
| 763 | paging->paging_mode = svm_paging_mode(state->cr0, state->cr4, |
| 764 | state->efer); |
| 765 | } |
| 766 | |
| 767 | #define UNHANDLED 0 |
| 768 |
no test coverage detected