gacpi_register_ioapic()

Add an IO-APIC vdev to the MADT (x86)

Synopsis:

#include <qvm/firmware.h>
void gacpi_register_ioapic(vdev_t *vdev,
                           uint32_t apic_id)

Arguments:

vdev
A pointer to an IO-APIC vdev.
apic_id
The APIC ID of the vdev.

Description:

Use this function to add an IO-APIC vdev to the Multiple APIC Description Table (MADT).

Page updated: