<dec f='src/src/sys/arch/xen/include/xen-public/xen.h' l='601'/>
<use f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='864' u='c'/>
<use f='src/src/sys/arch/xen/xen/xen_machdep.c' l='300' u='c'/>
<use f='src/src/sys/arch/xen/xen/xen_machdep.c' l='301' u='c'/>
