get physical page ID for kernel virtual address
Synopsis (Not in current DDI version)
uint_t hat_getkpfnum(caddr_t addr);
hat_getkpfnum returns the physical page ID corresponding to the
virtual address addr.
The kernel virtual address for which the physical page ID is
to be returned.
If addr is 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
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