<dec f='src/src/sys/arch/xen/include/xenpmap.h' l='61' type='void pmap_xen_resume()'/>
<def f='src/src/sys/arch/xen/x86/xen_pmap.c' l='248' ll='254' type='void pmap_xen_resume()'/>
<use f='src/src/sys/arch/xen/xen/xen_machdep.c' l='329' u='c' c='xen_prepare_resume'/>
