acrn-kernel/drivers/xen/biomerge.c