original_kernel/arch/arm/mach-integrator/common.h

void integrator_init_early(void);
void integrator_reserve(void);