guest_msi_register()

Register a PIC MSI handle

Synopsis:

#include <qvm/guest.h>

void guest_msi_register(vdev_t *const pic,
                        uint64_t const paddr,
                        uint64_t const mask,
                        guest_msi_deliver_func_t *deliver,
                        unsigned cookie)

Arguments:

pic: A pointer to a PIC vdev.
paddr: The guest physical address being registered.
mask: A mask to apply when checking against paddr.
deliver: A pointer to the function to call when an MSI is signaled.
cookie: A value to be passed back to the deliver callback.

Library:

Provided by qvm; no external library is required.

Description:

Call this function during startup to register a handle for Programmable Interrupt Controller (PIC) MSIs.