OpenCloudOS-Kernel/arch/arm64/mm/mm.h

3 lines
91 B
C

extern void __flush_dcache_page(struct page *page);
extern void __init bootmem_init(void);