linux-stable/drivers/virt
..
Kconfig
Makefile
fsl_hypervisor.c