DIRTY_MEM_BITS
pages = (1ul << (DIRTY_MEM_BITS - vm->page_shift)) + 3;
2ul << (DIRTY_MEM_BITS - PAGE_SHIFT_4K), guest_code);
guest_num_pages = (1ul << (DIRTY_MEM_BITS - vm->page_shift)) + 3;