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 flex page 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.