35 static inline uint64_t our_range_get_remaining_start(OurRange *our_range)  in our_range_get_remaining_start()  argument
37     return our_range->range.start + our_range->added;  in our_range_get_remaining_start()
40 static inline uint64_t our_range_get_remaining_size(OurRange *our_range)  in our_range_get_remaining_size()  argument
42     return our_range->range.count - our_range->added - our_range->unusable_tail;  in our_range_get_remaining_size()
45 void hvb_our_range_mark_added(OurRange *our_range, uint64_t additional_size);
47 static inline void our_range_mark_remaining_unusable(OurRange *our_range)  in our_range_mark_remaining_unusable()  argument
49     our_range->unusable_tail = our_range->range.count - our_range->added;  in our_range_mark_remaining_unusable()
52 static inline PageRangeTree our_range_get_removed_tree(OurRange *our_range,  in our_range_get_removed_tree()  argument
56         return our_range->removed_both;  in our_range_get_removed_tree()
58         return our_range->removed_guest;  in our_range_get_removed_tree()
62 static inline bool our_range_is_removed_tree_empty(OurRange *our_range,  in our_range_is_removed_tree_empty()  argument
66         return page_range_tree_is_empty(our_range->removed_both);  in our_range_is_removed_tree_empty()
68         return page_range_tree_is_empty(our_range->removed_guest);  in our_range_is_removed_tree_empty()
72 void hvb_our_range_clear_removed_trees(OurRange *our_range);
102 void hvb_our_range_memslots_free(OurRangeMemslots *our_range);
106 void hvb_our_range_memslots_ensure_mapped_additional(OurRangeMemslots *our_range,