Symbol: push_stack
usr.sbin/vmd/loadfile_elf.c
118
static size_t push_stack(uint32_t, uint32_t);
usr.sbin/vmd/loadfile_elf.c
255
stacksize = push_stack(bootargsz, marks[MARK_END]);