Symbol: pmap_deactivate_sync
sys/arch/x86/include/pmap_private.h
387
void pmap_deactivate_sync(struct pmap *, void *);
sys/arch/x86/x86/efi_machdep.c
783
pmap_deactivate_sync(efi_runtime_pmap, cookie);
sys/arch/x86/x86/efi_machdep.c
803
pmap_deactivate_sync(efi_runtime_pmap, cookie);
sys/arch/x86/x86/efi_machdep.c
868
pmap_deactivate_sync(efi_runtime_pmap, cookie->erc_pmap_cookie);