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