gacpi_register_ioapic()

Updated: October 28, 2024

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

Synopsis:

#include <qvm/firmware.h>

void gacpi_register_ioapic(vdev_t *vdev,
                           unsigned apic_id)

Arguments:

vdev: A pointer to an IO-APIC vdev.
apic_id: The APIC ID of the device referenced by vdev.

Description:

Use this function on x86 platforms to add an IO-APIC virtual device to the Multiple APIC Description Table (MADT).