> 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
