|
@@ -34,6 +34,18 @@ void page_set_flags(target_ulong start, target_ulong last, int flags);
|
|
|
|
|
|
void page_reset_target_data(target_ulong start, target_ulong last);
|
|
void page_reset_target_data(target_ulong start, target_ulong last);
|
|
|
|
|
|
|
|
+/**
|
|
|
|
+ * page_check_range
|
|
|
|
+ * @start: first byte of range
|
|
|
|
+ * @len: length of range
|
|
|
|
+ * @flags: flags required for each page
|
|
|
|
+ *
|
|
|
|
+ * Return true if every page in [@start, @start+@len) has @flags set.
|
|
|
|
+ * Return false if any page is unmapped. Thus testing flags == 0 is
|
|
|
|
+ * equivalent to testing for flags == PAGE_VALID.
|
|
|
|
+ */
|
|
|
|
+bool page_check_range(target_ulong start, target_ulong last, int flags);
|
|
|
|
+
|
|
/**
|
|
/**
|
|
* page_check_range_empty:
|
|
* page_check_range_empty:
|
|
* @start: first byte of range
|
|
* @start: first byte of range
|