Definitions for working with the firmware components of the VM presented to the guest.
The gacpi_*() functions are for use with ACPI on x86 platforms; the gfdt_*() functions are for use with Flattened Device Trees (FDT) on ARM platforms.
All the functions that firmware.h provides are used in the running phase only and are thread safe.
Only use these functions on VDEV_CTRL_GEN_ACPI or VDEV_CTRL_GEN_FDT.