From mboxrd@z Thu Jan  1 00:00:00 1970
From: Dave Eckhardt <davide+p9@cs.cmu.edu>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] Memory management questions/not plan-9 specific
In-Reply-To: <11F071B3-1B01-4272-9EA4-1C2BD50BCC0B@telus.net>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <10846.1194600659.1@lunacy.ugrad.cs.cmu.edu>
Date: Fri,  9 Nov 2007 04:30:59 -0500
Message-ID: <10847.1194600659@lunacy.ugrad.cs.cmu.edu>
Topicbox-Message-UUID: f020f596-ead2-11e9-9d60-3106f5b1d025

> My google-fu has been weak in finding such a system-level
> API in any OS.

The Mach name for this was "external pager", see for example
"Extending the Mach External Pager Interface to Accommodate
User-Level Page Replacement Policies" (1990).

Dave Eckhardt