void hbitmap_reset(HBitmap *hb, uint64_t start, uint64_t count)

{

    

    uint64_t last = start + count - 1;



    trace_hbitmap_reset(hb, start, count,

                        start >> hb->granularity, last >> hb->granularity);



    start >>= hb->granularity;

    last >>= hb->granularity;




    hb->count -= hb_count_between(hb, start, last);

    hb_reset_between(hb, HBITMAP_LEVELS - 1, start, last);

}