SVR5

hat_getppfnum(D3)

hat_getppfnum -- get physical page ID for physical address

Synopsis (Not in current DDI version)

   #include <sys/types.h>
   #include <sys/vm.h>
   #include <sys/ddi.h>
   
   uint_t hat_getppfnum(paddr_t addr, uint_t pspace);

Description

hat_getppfnum returns the physical page ID corresponding to the physical address addr.

Arguments

addr: The physical address for which the physical page ID is to be returned.
pspace: The physical address space to which addr belongs.

Return values

If addr and pspace are valid, the corresponding physical page ID is returned. Otherwise, NOPAGE is returned.

Usage

This routine can be used to obtain a physical page ID suitable to be used as the return value of the driver's mmap(D2) entry point.

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 context.

Hardware applicability

All

Version applicability

ddi: 1, 2, 4

Differences between versions

phystoppid(D3) replaces hat_getppfnum.

References

hat_getkpfnum(D3), mmap(D2)