L4Re - L4 Runtime Environment
|
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. More... | |
#define | L4_LOG2_PAGESIZE |
Number of bits used for page offset. More... | |
#define | L4_SUPERPAGESIZE |
Size of a large page. More... | |
#define | L4_SUPERPAGEMASK |
Mask for the number of a large page. More... | |
#define | L4_LOG2_SUPERPAGESIZE |
Number of bits used as offset for a large page. More... | |
#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. More... | |
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. More... | |
l4_addr_t | l4_round_page (l4_addr_t address) L4_NOTHROW |
Round address up to the next page. More... | |
l4_addr_t | l4_round_size (l4_umword_t value, unsigned char bits) L4_NOTHROW |
Round value up to the next alignment with bits size. More... | |
Common constants.
Definition in file consts.h.