memory.h

Go to the documentation of this file.

/* SPDX-License-Identifier: Apache-2.0 */
/*
 * Copyright (c) 2023 EPAM Systems
 */

 
#ifndef ZEPHYR_XEN_MEMORY_H_
#define ZEPHYR_XEN_MEMORY_H_
 
#include <xen/public/xen.h>
#include <xen/public/memory.h>
 
#include <zephyr/kernel.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_increase_reservation(int domid, unsigned int extent_order,
                                unsigned int nr_extents, unsigned int mem_flags,
                                xen_pfn_t *extent_start);

int xendom_decrease_reservation(int domid, unsigned int extent_order,
                                unsigned int nr_extents, unsigned int mem_flags,
                                xen_pfn_t *extent_start);

int xendom_populate_physmap(int domid, unsigned int extent_order,
                            unsigned int nr_extents, unsigned int mem_flags,
                            xen_pfn_t *extent_start);

int xendom_acquire_resource(domid_t domid, uint16_t type, uint32_t id, uint64_t frame,
                            uint32_t *nr_frames, xen_pfn_t *frame_list);

 
#endif /* ZEPHYR_XEN_MEMORY_H_ */