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