original_kernel/arch/x86/mm/mm_internal.h

#ifndef __X86_MM_INTERNAL_H
#define __X86_MM_INTERNAL_H

void *alloc_low_page(void);

#endif	/* __X86_MM_INTERNAL_H */