Go to the source code of this file.
Data Structures | |
| struct | l4_snd_fpage_t |
| Send flexpage types. More... | |
Enumerations | |
| enum | { L4_FPAGE_RO = 0, L4_FPAGE_RW = 1, L4_FPAGE_MAP = 0, L4_FPAGE_GRANT = 1 } |
| Flexpage flags. More... | |
| enum | l4_fpage_cacheability_opt_t { L4_FPAGE_CACHE_OPT = 0x1, L4_FPAGE_CACHEABLE = 0x3, L4_FPAGE_BUFFERABLE = 0x5, L4_FPAGE_UNCACHEABLE = 0x1 } |
| Flexpage cacheability option. More... | |
| enum | { L4_WHOLE_IOADDRESS_SPACE = 16, L4_IOPORT_MAX = (1L << L4_WHOLE_IOADDRESS_SPACE) } |
| Special constants for IO-flexpages. More... | |
| enum | { L4_WHOLE_CAPADDRESS_SPACE = 11, L4_CAP_MAX = (1L << L4_WHOLE_CAPADDRESS_SPACE) } |
| Special constants for cap-flexpages. More... | |
Functions | |
| l4_fpage_t | l4_fpage (unsigned long address, unsigned int size, unsigned char write, unsigned char grant) |
| Build flexpage descriptor. | |
| l4_fpage_t | l4_iofpage (unsigned port, unsigned int size, unsigned char grant) |
| Build I/O flexpage descriptor. | |
| int | l4_is_io_page_fault (unsigned long address) |
| Test if fault address describes I/O pagefault. | |
| l4_fpage_t | l4_capfpage (unsigned taskno, unsigned int order, unsigned char grant) |
| Build Cap flexpage descriptor. | |
Definition in file __l4_fpage-common.h.