Symbol: xen_kpm_sync
sys/arch/x86/x86/pmap.c
2510
xen_kpm_sync(pmap, index);
sys/arch/x86/x86/pmap.c
2647
xen_kpm_sync(pmap, index);
sys/arch/x86/x86/pmap.c
5702
xen_kpm_sync(pmap_kernel(), i);
sys/arch/xen/include/xenpmap.h
64
void xen_kpm_sync(struct pmap *, int);