linux/drivers/virt/acrn/acrn_drv.h