socsvn - Revision 337283: /soc2016/yuanxunzhang/head/sys/x86/include/xen