ID des IO-APICs. Mehr ...
#include <machine/ioapic_registers.h>
Öffentliche Methoden | |
| Identification (Register value) | |
Öffentliche Attribute | |
| struct { | |
| uint32_t __pad0__: 24 | |
| Reserviert, nicht ändern. | |
| uint32_t id: 4 | |
| IOAPIC Identification. | |
| }; | |
| Register | value |
ID des IO-APICs.
Das IOAPICID Register liegt an Registernummer 0x0. Die IOAPICID wird während des Bootvorgangs aus den Systemkonfigurationstabellen des BIOS gelesen. Sie ist über System::getIOAPICID() abfragbar. Diese Information muss bei der Initialisierung des IOAPICs ins IOAPICID Register eingetragen werden.
i4stubs-all@lists.cs.fau.de