Symbol: host_munmap
stand/kboot/include/host_syscall.h
175
int host_munmap(void *addr, size_t len);
stand/kboot/kboot/main.c
275
host_munmap(map[i].va, PAGE);