board: xen: De-initialize before jumping to Linux
[platform/kernel/u-boot.git] / drivers / xen /
drwxr-xr-x   ..
-rw-r--r-- 298 Kconfig
-rw-r--r-- 190 Makefile
-rw-r--r-- 4376 events.c
-rw-r--r-- 5144 gnttab.c
-rw-r--r-- 5488 hypervisor.c
-rw-r--r-- 21175 pvblock.c
-rw-r--r-- 12172 xenbus.c