Symbol: vmmpmap_init
sys/arm64/vmm/mmu.h
46
bool vmmpmap_init(void);
sys/arm64/vmm/vmm_arm64.c
280
if (!vmmpmap_init()) {