get physical page ID for physical address
Synopsis (Not in current DDI version)
uint_t hat_getppfnum(paddr_t addr, uint_t pspace);
hat_getppfnum returns the physical page ID
corresponding to the physical address addr.
The physical address for which the physical page ID is
to be returned.
The physical address space to which addr belongs.
If addr and pspace are valid,
the corresponding physical page ID is returned.
Otherwise, NOPAGE is returned.
This routine can be used to obtain a physical page ID suitable to be used as the
return value of the driver's
Some systems have multiple physical address spaces
(different buses, and so on).
For these systems, pspace indicates the address space
to which addr belongs.
For all systems, PSPACE_MAINSTORE is defined
as the address space that includes mainstore system memory.
Other values are implementation-defined.
A physical page ID is a machine-specific token that uniquely identifies a page
of physical memory in the system (either system memory or device memory.)
No assumptions should be made about the format of a physical page ID.
Context and synchronization
Non-blockable, interrupt, user, or blockable
1, 2, 4
Differences between versions
19 June 2005
© 2005 The SCO Group, Inc. All rights reserved.
OpenServer 6 and UnixWare (SVR5) HDK - June 2005