original_kernel/arch/arm64/mm/mm.h

extern void __init bootmem_init(void);
extern void __init arm64_swiotlb_init(void);