/*
 * page.h
 *
 * Written by Vicente Esteve LLoret <viesllo@inf.upv.es>
 * Copyright (C) Jul, 2003 OCERA Consortium.
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation version 2.
 *
 * memory protection.
 *
 */

#ifndef _PAGE_H_
#define _PAGE_H_

typedef unsigned long mprot_t;

void init_page(void);
#endif // _PAGE_H_