<dec f='src/src/sys/arch/xen/include/xen-public/xen.h' l='315'/>
<use f='src/src/sys/arch/x86/x86/pmap.c' l='1407' u='c'/>
<use f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='1077' u='c'/>
<use f='src/src/sys/arch/xen/xen/xen_machdep.c' l='308' u='c'/>
<use f='src/src/sys/arch/xen/xen/xen_machdep.c' l='324' u='c'/>
