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