| 1 | /* Emulation of getpagesize() for systems that need it. */
|
|---|
| 2 |
|
|---|
| 3 | /*
|
|---|
| 4 |
|
|---|
| 5 | NAME
|
|---|
| 6 |
|
|---|
| 7 | getpagesize -- return the number of bytes in page of memory
|
|---|
| 8 |
|
|---|
| 9 | SYNOPSIS
|
|---|
| 10 |
|
|---|
| 11 | int getpagesize (void)
|
|---|
| 12 |
|
|---|
| 13 | DESCRIPTION
|
|---|
| 14 |
|
|---|
| 15 | Returns the number of bytes in a page of memory. This is the
|
|---|
| 16 | granularity of many of the system memory management routines.
|
|---|
| 17 | No guarantee is made as to whether or not it is the same as the
|
|---|
| 18 | basic memory management hardware page size.
|
|---|
| 19 |
|
|---|
| 20 | BUGS
|
|---|
| 21 |
|
|---|
| 22 | Is intended as a reasonable replacement for systems where this
|
|---|
| 23 | is not provided as a system call. The value of 4096 may or may
|
|---|
| 24 | not be correct for the systems where it is returned as the default
|
|---|
| 25 | value.
|
|---|
| 26 |
|
|---|
| 27 | */
|
|---|
| 28 |
|
|---|
|
|---|
