#ifndef __X86_MM_INTERNAL_H
#define __X86_MM_INTERNAL_H

void *alloc_low_page(void);

#endif	/* __X86_MM_INTERNAL_H */