arch/arm64/mm/mm.h

void fixup_init(void);