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
10#ifndef __SOF_LIB_VPAGE_H__
11#define __SOF_LIB_VPAGE_H__
12
13#include <zephyr/kernel.h>
14#include <stdint.h>
15
16#ifdef __cplusplus
17extern "C" {
18#endif
19
33void *vpage_alloc(unsigned int pages);
34
42void vpage_free(void *ptr);
43
46#ifdef __cplusplus
47}
48#endif
49
50#endif /* __SOF_LIB_VPAGE_H__ */
void vpage_free(void *ptr)
Free virtual pages.
void * vpage_alloc(unsigned int pages)
Allocate contiguous virtual pages.