|
Barrelfish
|
Functions | |
| lpaddr_t | platform_get_private_region (void) |
| returns the private memory region More... | |
| lpaddr_t | platform_get_gic_cpu_address (void) |
| obtain the address of the GIC CPU interface More... | |
| size_t | platform_get_gic_cpu_size (void) |
| returns the size of the GIC cpu region More... | |
| lpaddr_t platform_get_gic_cpu_address | ( | void | ) |
obtain the address of the GIC CPU interface
| size_t platform_get_gic_cpu_size | ( | void | ) |
returns the size of the GIC cpu region
| lpaddr_t platform_get_private_region | ( | void | ) |
returns the private memory region
1.8.11