Symbol: pmap_activate_vm
sys/arm64/include/pmap.h
144
void pmap_activate_vm(pmap_t);
sys/arm64/vmm/vmm_arm64.c
1149
pmap_activate_vm(pmap);