![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Common constants. More...
Go to the source code of this file.
Macros | |
| #define | L4_PAGESIZE |
| Minimal page size (in bytes). | |
| #define | L4_PAGEMASK |
| Mask for the page number. | |
| #define | L4_LOG2_PAGESIZE |
| Number of bits used for page offset. | |
| #define | L4_SUPERPAGESIZE |
| Size of a large page. | |
| #define | L4_SUPERPAGEMASK |
| Mask for the number of a large page. | |
| #define | L4_LOG2_SUPERPAGESIZE |
| Number of bits used as offset for a large page. | |
| #define | L4_INVALID_PTR ((void *)L4_INVALID_ADDR) |
| Invalid address as pointer type. | |
Functions | |
| l4_addr_t | l4_trunc_page (l4_addr_t address) L4_NOTHROW |
| Round an address down to the next lower page boundary. | |
| l4_addr_t | l4_trunc_size (l4_addr_t address, unsigned char bits) L4_NOTHROW |
| Round an address down to the next lower flexpage with size bits. | |
| l4_addr_t | l4_round_page (l4_addr_t address) L4_NOTHROW |
| Round address up to the next page. | |
| l4_addr_t | l4_round_size (l4_addr_t value, unsigned char bits) L4_NOTHROW |
| Round value up to the next alignment with bits size. | |
| unsigned | l4_bytes_to_mwords (unsigned size) L4_NOTHROW |
| Determine how many machine words (l4_umword_t) are required to store a buffer of 'size' bytes. | |
Common constants.
Definition in file consts.h.