<dec f='src/src/sys/arch/xen/include/xen-public/xen.h' l='272'/>
<use f='src/src/sys/arch/xen/x86/x86_xpmap.c' l='443' u='c'/>
