Syntaxe
|
bios(InterruptNo, RegsIn, RegsOut)
|
Paramètres
| Nom |
Description |
| InterruptNo |
Ce paramètre permet d'indiquer le numéro d'interruption à appeler. |
| RegsIn |
Ce paramètre permet d'indiquer le registres du microprocesseur à envoyer à l'interruption. |
| RegsOut |
Ce paramètre permet d'indiquer le registres du microprocesseur reçu de l'interruption. |
Description
Ce prédicat permet de provoque une interruption BIOS InterruptNo avec les valeurs de registre indiquées dans le paramètre RegsIn et lie le paramètre RegsOut aux valeurs de registre après l'exécution de l'interruption. RegsIn et RegsOut appartiennent tous deux au domaine interne regdom, défini comme suit: regdom = reg(AX,BX,CX,DX,SI,DI,DS,ES) où AX, BX, CX, DX, SI, DI, DS et ES sont tous de type domaine entier.
Dernière mise à jour : Vendredi, le 7 juin 2019
