root/drivers/virt/

1. fsl_hypervisor.c
2. vboxguest/