| 669 | | |
|---|
| 670 | | /** |
|---|
| 671 | | * Prepares for and executes VMRUN (32 bits guests). |
|---|
| 672 | | * |
|---|
| 673 | | * @returns VBox status code. |
|---|
| 674 | | * @param pVMCBHostPhys Physical address of host VMCB. |
|---|
| 675 | | * @param pVMCBPhys Physical address of the VMCB. |
|---|
| 676 | | * @param pCtx Guest context. |
|---|
| 677 | | */ |
|---|
| 678 | | DECLASM(int) SVMVMRun(RTHCPHYS pVMCBHostPhys, RTHCPHYS pVMCBPhys, PCPUMCTX pCtx); |
|---|
| 679 | | |
|---|
| 680 | | /** |
|---|
| 681 | | * Prepares for and executes VMRUN (64 bits guests). |
|---|
| 682 | | * |
|---|
| 683 | | * @returns VBox status code. |
|---|
| 684 | | * @param pVMCBHostPhys Physical address of host VMCB. |
|---|
| 685 | | * @param pVMCBPhys Physical address of the VMCB. |
|---|
| 686 | | * @param pCtx Guest context. |
|---|
| 687 | | */ |
|---|
| 688 | | DECLASM(int) SVMVMRun64(RTHCPHYS pVMCBHostPhys, RTHCPHYS pVMCBPhys, PCPUMCTX pCtx); |
|---|
| 689 | | |
|---|
