// other flags are undefined, and pagein() should be retried.
// rmap_lock must be held.
- virtual void get_entry(u64 vaddr, u64 *phys, PTEFlags *flags) = 0;
+ virtual void get_mapping(u64 vaddr, u64 *phys, PTEFlags *flags) = 0;
#include <servers/mem/addrspace/Mem/Mappable.h>
};
// This lock protects the rmap chains and rmap tables. It also makes
- // atomic the PageTable::get_entry, RMapTable::map, PageTable::map
+ // atomic the PageTable::get_mapping, RMapTable::map, PageTable::map
// sequence.
//
// OPT: This lock is acquired on all map/unmap activity; if/when this
// other flags are undefined. This function is mainly used for
// propagating stacked aspace PTEs.
- virtual void get_entry(u64 vaddr, u64 *phys, Flags *flags) = 0;
+ virtual void get_mapping(u64 vaddr, u64 *phys, Flags *flags) = 0;
virtual void get_size(u64 *size) = 0;
// Unexported
virtual void pagein(u64 vaddr, PTEFlags reqflags);
- virtual void get_entry(u64 vaddr, u64 *phys, PTEFlags *flags);
+ virtual void get_mapping(u64 vaddr, u64 *phys, PTEFlags *flags);
friend class AddrSpace;
};