Acronyms and Abbreviations

VMM

Virtual Machine Monitor

GIC

General Interrupt Controller

vLPI

Virtual Locality-specific Peripheral Interrupt

vSGI

Virtual Software Generated Interrupt

VFIO

Virtual Function I/O

MBIGEN

Message Based Interrupt Generator

IPI

Inter-Processor Interrupt

PCI

Peripheral Component Interconnect