Remove Mem.AddrSpace.alloc_and_map(); a Mappable that allocates

[polintos/scott/priv.git] / idl / addrspace.idl

diff --git a/idl/addrspace.idl b/idl/addrspace.idl
index 14f4ae28f48e77a7a84f43192eeeb7445bfe8eb5..d26a681d4c39b5af70a5666f92ffddd926f4bd6b 100644 (file)
--- a/idl/addrspace.idl
+++ b/idl/addrspace.idl
@@ -177,7 +177,7 @@ bitfield MapFlags {
        CopyOnWrite,   // Share the mapped object only until it is written to;
                       // then, before the write takes place, copy the object. 
                       // It is undefined whether this mapping will receive
-                      // the copy or the original.  Ignored for alloc_and_map.
+                      // the copy or the original.
        
        AccessFlags access:3,
                       // These are the requested read/write/execute
@@ -228,11 +228,6 @@ interface AddrSpace {
 
        clone(AddrSpace addrspace out, bool clone_is_real);
        
-       // Create an anonymous RAM mapping.     
-
-       alloc_and_map(ulong len, ulong vstart inout, 
-                     AllocFlags aflags, MapFlags mflags);
-       
        // Mappable must be implemented by the local kernel, and must hold
        // read/write/exec permissions appropriate for the MapFlags given.