1*809e0744SJens Wiklander /* SPDX-License-Identifier: BSD-2-Clause */ 2*809e0744SJens Wiklander /* 3*809e0744SJens Wiklander * Copyright (c) 2024, Linaro Limited 4*809e0744SJens Wiklander */ 5*809e0744SJens Wiklander 6*809e0744SJens Wiklander #ifndef __MM_PAGE_ALLOC_H 7*809e0744SJens Wiklander #define __MM_PAGE_ALLOC_H 8*809e0744SJens Wiklander 9*809e0744SJens Wiklander #include <malloc_flags.h> 10*809e0744SJens Wiklander #include <types_ext.h> 11*809e0744SJens Wiklander #include <util.h> 12*809e0744SJens Wiklander 13*809e0744SJens Wiklander void nex_page_alloc_init(void); 14*809e0744SJens Wiklander void page_alloc_init(void); 15*809e0744SJens Wiklander 16*809e0744SJens Wiklander vaddr_t virt_page_alloc(size_t count, uint32_t flags); 17*809e0744SJens Wiklander 18*809e0744SJens Wiklander #endif /*__MM_PAGE_ALLOC_H*/ 19