Sound Open Firmware
Loading...
Searching...
No Matches
vpage.h
Go to the documentation of this file.
1// SPDX-License-Identifier: BSD-3-Clause
2// Copyright(c) 2025 Intel Corporation.
3
4/* Virtual Page Allocator API */
5#ifndef __SOF_LIB_VPAGE_H__
6#define __SOF_LIB_VPAGE_H__
7
8#include <zephyr/kernel.h>
9#include <stdint.h>
10
11#ifdef __cplusplus
12extern "C" {
13#endif
14
24void *vpage_alloc(unsigned int pages);
25
32void vpage_free(void *ptr);
33
34#ifdef __cplusplus
35}
36#endif
37
38#endif /* __SOF_LIB_VPAGE_H__ */
vpage_free
void vpage_free(void *ptr)
Free virtual pages Frees previously allocated virtual memory pages and unmaps them.
vpage_alloc
void * vpage_alloc(unsigned int pages)
Allocate virtual pages Allocates a specified number of contiguous virtual memory pages by mapping phy...