#include <manux/errno.h>
#include <manux/debug.h>
#include <manux/i386.h>
#include <manux/segment.h>
#include <manux/printk.h>
Aller au code source de ce fichier.
◆ MANUX_GDT_CS
| #define MANUX_GDT_CS 0x08 |
◆ MANUX_GDT_DS
| #define MANUX_GDT_DS 0x10 |
◆ MANUX_GDT_SS
| #define MANUX_GDT_SS 0x18 |
◆ USE_LEGACY_NO
◆ __attribute__()
| struct __attribute__ |
( |
(__packed__) |
| ) |
|
Description d'un buffer "disponible" ([3] Section 2.3.4)
Description des éléments utilisés
Description d'un buffer "utilisé"
Description d'une file virtuelle. Le format de cette structure n'est pas imposé par virtio, car elle est utilisée uniquement dans ce pilote.
Description d'un périphérique virtio
Définition à la ligne 12 du fichier segment.c.
◆ ajouterDescTSS()
◆ chargerGDT()
◆ chargerLDT()
◆ initialiserGDT()
◆ setDescripteurSegment()
◆ descripteurGDT
◆ gdtSysteme