#ifndef ARCH_X86_MM_PAGE_TABLE_H
#define ARCH_X86_MM_PAGE_TABLE_H

#include <tianole/mm.h>

void page_tables_init(void);

#endif