linux/include/xen/interface/platform.h