240 |
while END must be the address of the last byte in the area. FPAGES |
while END must be the address of the last byte in the area. FPAGES |
241 |
must be an array of at least |
must be an array of at least |
242 |
|
|
243 |
L4_FPAGE_SPAN_MAX - (l4_min_page_size () - L4_MIN_PAGE_SIZE_LOG2) |
L4_FPAGE_SPAN_MAX - 2 * (l4_min_page_size_log2 () - L4_MIN_PAGE_SIZE_LOG2) |
244 |
|
|
245 |
fpages (you can just use L4_FPAGE_SPAN_MAX if you need a constant |
fpages (you can just use L4_FPAGE_SPAN_MAX if you need a constant |
246 |
expression). The function returns the number of fpages returned in |
expression). The function returns the number of fpages returned in |