memory.h

Go to the documentation of this file.

/* SPDX-License-Identifier: Apache-2.0 */
/*
 * Copyright (c) 2023 EPAM Systems
 */
 
#include <zephyr/kernel.h>
#include <zephyr/xen/public/memory.h>
#include <zephyr/xen/public/xen.h>
 
int xendom_add_to_physmap(int domid, unsigned long idx, unsigned int space,
                          xen_pfn_t gpfn);
 
int xendom_add_to_physmap_batch(int domid, int foreign_domid,
                                unsigned int space, unsigned int size,
                                xen_ulong_t *idxs, xen_pfn_t *gpfns, int *errs);
 
int xendom_remove_from_physmap(int domid, xen_pfn_t gpfn);
 
int xendom_populate_physmap(int domid, unsigned int extent_order,
                            unsigned int nr_extents, unsigned int mem_flags,
                            xen_pfn_t *extent_start);