Add the rt linux 4.1.3-rt3 as base

[kvmfornfv.git] / kernel / arch / arm64 / mm / mm.h

extern void __init bootmem_init(void);

void fixup_init(void);