00001 // EPOS-- IA32 MMU Mediator Implementation 00002 00003 // This work is licensed under the Creative Commons 00004 // Attribution-NonCommercial-NoDerivs License. To view a copy of this license, 00005 // visit http://creativecommons.org/licenses/by-nc-nd/2.0/ or send a letter to 00006 // Creative Commons, 559 Nathan Abbott Way, Stanford, California 94305, USA. 00007 00008 #include <arch/ia32/mmu.h> 00009 00010 __BEGIN_SYS 00011 00012 // Class attributes 00013 IA32_MMU::List IA32_MMU::_free; 00014 00015 __END_SYS