Operation void *
pageno2addr (
PageNo_t
pageno), in Class
Mseg
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics