include/user/page-protection.h

6  * SPDX-License-Identifier: LGPL-2.1+
16 #include "exec/translation-block.h"
40  * @len: length of range
43  * Return true if every page in [@start, @start+@len) has @flags set.
64  * @max: last byte of search range
65  * @len: size of the hole required
68  * If there is a range [x, x+@len) within [@min, @max] such that
69  * x % @align == 0, then return x.  Otherwise return -1.
73 vaddr page_find_range_empty(vaddr min, vaddr max, vaddr len, vaddr align);
78  * @size: per-page size
80  * Return @size bytes of out-of-band data to associate