Externen Speicher-Management-Schnittstelle. Mach's Schnittstelle auf Speicherobjekte, deren Inhalt durch Benutzer-Modus-Tasks belegt wird; Siehe auch externe Pager.