WSL2-Linux-Kernel/arch/arm64/mm/mm.h

extern void __init bootmem_init(void);

void fixup_init(void);