<dec f='src/src/sys/arch/x86/include/cpu.h' l='192' type='kmutex_t'/>
<offset>272448</offset>
<use f='src/src/sys/arch/xen/x86/cpu.c' l='435' u='a' c='cpu_attach_common'/>
<use f='src/src/sys/arch/xen/x86/cpu.c' l='1107' u='a' c='cpu_load_pmap'/>
<use f='src/src/sys/arch/xen/x86/cpu.c' l='1165' u='a' c='cpu_load_pmap'/>
<use f='src/src/sys/arch/xen/x86/xen_pmap.c' l='331' u='a' c='pmap_kpm_setpte'/>
<use f='src/src/sys/arch/xen/x86/xen_pmap.c' l='372' u='a' c='xen_kpm_sync'/>
<use f='src/src/sys/arch/xen/x86/xen_pmap.c' l='377' u='a' c='xen_kpm_sync'/>
