sparsebit_set_num
void sparsebit_set_num(struct sparsebit *sbitp, sparsebit_idx_t start,
sparsebit_set_num(vm->vpages_valid, 0,
sparsebit_set_num(region->unused_phy_pages, gpa >> vm->page_shift, npages);
sparsebit_set_num(vm->vpages_valid,
sparsebit_set_num(vm->vpages_valid,
sparsebit_set_num(s, idx, 1);
sparsebit_set_num(s, 1, ~(sparsebit_idx_t) 0);
sparsebit_set_num(s, first, num);
sparsebit_set_num(vm->vpages_mapped, vaddr >> vm->page_shift,