Symbol: vmmpmap_fini
sys/arm64/vmm/mmu.h
47
void vmmpmap_fini(void);
sys/arm64/vmm/vmm_arm64.c
468
vmmpmap_fini();