Symbol: pmap_activate_sync
sys/arch/x86/include/pmap_private.h
386
void * pmap_activate_sync(struct pmap *);
sys/arch/x86/x86/efi_machdep.c
640
void *const cookie = pmap_activate_sync(efi_runtime_pmap);
sys/arch/x86/x86/efi_machdep.c
855
cookie->erc_pmap_cookie = pmap_activate_sync(efi_runtime_pmap);