| // SPDX-License-Identifier: GPL-2.0-only |
| #ifndef __KVM_HYP_EARLY_ALLOC_H |
| #define __KVM_HYP_EARLY_ALLOC_H |
| |
| #include <nvhe/memory.h> |
| |
| static inline void hyp_free_page(unsigned long addr) {} |
| static inline void hyp_get_page(void *page) {} |
| static inline void hyp_put_page(void *page) {} |
| static inline int hyp_page_count(void *page) { return 0; } |
| #define hyp_free_page hyp_free_page |
| #define hyp_get_page hyp_get_page |
| #define hyp_put_page hyp_put_page |
| #define hyp_page_count hyp_page_count |
| #define hyp_host_get_zeroed_pages hyp_early_alloc_pages |
| |
| void hyp_early_alloc_init(unsigned long phys, unsigned long virt, |
| unsigned long size); |
| |
| void *hyp_early_alloc_pages(int order); |
| unsigned long hyp_early_alloc_nr_pages(void); |
| |
| #endif /* __KVM_HYP_EARLY_ALLOC_H */ |