clkdev: add possibility to get a clock based on the device name
[linux-2.6] / include / xen / page.h
1 #include <asm/xen/page.h>