vfio/type1: fix vaddr_get_pfns() return in vfio_pin_page_external()
[linux-2.6-microblaze.git] / samples / acrn /
drwxr-xr-x   ..
-rw-r--r-- 182 Makefile
-rw-r--r-- 197 guest.ld
-rw-r--r-- 182 payload.ld
-rw-r--r-- 3940 vm-sample.c