tile: use pmd_pfn() instead of casting via pte_t
[cascardo/linux.git] / arch / arm / xen /
drwxr-xr-x   ..
-rw-r--r-- 48 Makefile
-rw-r--r-- 8543 enlighten.c
-rw-r--r-- 2027 grant-table.c
-rw-r--r-- 3349 hypercall.S