| Assembleur 80x86 | VMREAD |
|---|---|
| INTEL VMX (Virtualisation) | Read Field from Virtual-Machine Control Structure |
Syntaxe
| VMREAD destination,source |
Description
Cette instruction permet d'effectuer la lecture du champ spécifié dans le VMCS et l'entrepose dans l'opérande de destination spécifié.
Algorithme
|
SI (pas dans l'opération VMX) ou (RFLAGS.VM = 1) ou (IA32_EFER.LMA = 1 et CS.L = 0) ALORS EXCEPTION #UD SINON SI pas dans l'opération racine VMX ALORS sortir VM SINON SI CPL > 0 ALORS EXCEPTION #GP(0) SINON SI pointeur VMCS courant n'est pas valide ALORS VMfailInvalid SINON SI registre d'opérande source ne correspond pas au champ VMCS ALORS VMfailValid(VMREAD/VMWRITE de/à non-supporté par le composant VMCS) SINON destination ← contenu du champ VMCS indexé par le registre de l'opérande source succès VM FIN SI |
Mnémonique
| Instruction | Opcode | Description |
|---|---|---|
| VMREAD r/m64, r64 | 0Fh 78h | Cette instruction permet d'effectuer la lecture du champ spécifié dans le VMCS et l'entrepose dans l'opérande de destination spécifié. |
| VMREAD r/m32, r32 | 0Fh 78h | Cette instruction permet d'effectuer la lecture du champ spécifié dans le VMCS et l'entrepose dans l'opérande de destination spécifié. |
Voir également
Références
Intel® 64 and IA-32 Architectures Software Developer’s Manual Volume 2B: Instruction Set Reference, N-Z, Edition Intel, Mars 2010, Publication No. 253667-034US, page 590 à 592.
Dernière mise à jour : Samedi, le 2 août 2014