Zephyr API Documentation 4.4.99
A Scalable Open Source RTOS
Loading...
Searching...
No Matches
regions.h
Go to the documentation of this file.
1/*
2 * Copyright (c) 2026 EPAM Systems
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
12
13#ifndef ZEPHYR_INCLUDE_XEN_REGIONS_H_
14#define ZEPHYR_INCLUDE_XEN_REGIONS_H_
15
16#include <stdbool.h>
17#include <stddef.h>
18
25
36bool xen_region_is_addr_extreg(void *ptr);
37
47void *xen_region_get_pages(size_t nr_pages);
48
60int xen_region_put_pages(void *ptr, size_t nr_pages);
61
73int xen_region_map(void *ptr, size_t nr_pages);
74
86int xen_region_unmap(void *ptr, size_t nr_pages);
87
89
90#endif /* ZEPHYR_INCLUDE_XEN_REGIONS_H_ */
xen_region_get_pages
void * xen_region_get_pages(size_t nr_pages)
Allocate one or more contiguous pages from an extended region.
xen_region_map
int xen_region_map(void *ptr, size_t nr_pages)
Map an extended-region buffer into the kernel address space.
xen_region_put_pages
int xen_region_put_pages(void *ptr, size_t nr_pages)
Release pages previously allocated from an extended region.
xen_region_is_addr_extreg
bool xen_region_is_addr_extreg(void *ptr)
Check whether an address belongs to a configured extended region.
xen_region_unmap
int xen_region_unmap(void *ptr, size_t nr_pages)
Unmap an extended-region buffer from the kernel address space.