do_bsys_alloc
propbuf = do_bsys_alloc(NULL, NULL, MMU_PAGESIZE, 0);
boot_args = do_bsys_alloc(NULL, NULL, boot_arg_len, MMU_PAGESIZE);
do_bsys_alloc(NULL, NULL, MMU_PAGESIZE, MMU_PAGESIZE);
bops->bsys_alloc = do_bsys_alloc;
value = do_bsys_alloc(NULL, NULL, MMU_PAGESIZE, MMU_PAGESIZE);
cpu_apicid_array = (uint32_t *)do_bsys_alloc(NULL, NULL,
p = do_bsys_alloc(NULL, NULL, size, MMU_PAGESIZE);
curr_page = do_bsys_alloc(NULL, 0, need_size, MMU_PAGESIZE);
line = do_bsys_alloc(NULL, NULL, MMU_PAGESIZE, MMU_PAGESIZE);