/*
    Copyright 2001 (c) by Claudio Jeker,
    Swiss Federal Institute of Technology,
    Computer Engineering and Networks Laboratory.
 
    TOPSY -- A Teachable Operating System.
             Implementation of a tiny and simple
             micro kernel for teaching purposes.
 
    For further information, please visit http://www.tik.ee.ethz.ch/~topsy
 
    This software is provided under the terms of the GNU General Public 
    Licence. A full copy of the GNU GPL is provided in the file COPYING 
    found in the development root of Topsy.
*/
/*
	
    File:                  $Source: /home/ruf/cvs_Topsy/cvs/Topsy/VMemory/mips/Attic/vm_pmap_hal.h,v $
    Affiliation:           ETH Zuerich, TIK
    Version:               $Revision: 2922 $
    Last Date of Change:   $Date: 2007-03-19 17:48:52 +0100 (Mon, 19 Mär 2007) $  by: $Author: baderma $
 
*/

/*
	 vm_pmap: machine dependent part of the page handling stuff
 
	 Here we define the vm_pmap API to access and modify the page tables.
	 It is important that this API is used so the code can be more modular and
	 object oriented. In other words, don't touch the vm_pmap structure directly!
 
 */
#ifndef __VM_PMAP_HAL_H__
#define __VM_PMAP_HAL_H__

struct protection_domain;

struct vm_pmap
{
  int pseudopid;
  struct protection_domain *pdom;
};

typedef struct vm_pmap* pmap_t;

/* architecture dependent function prototypes (independent ones are *
 *   located in vm_pmap.h)                                          */
int vm_pmap_lookup(pmap_t pmap, address_t virt, int type);

#endif
