Searched refs:platform_get_gt_address (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/kernel/arch/armv7/ | ||
| H A D | plat_a9mpcore.c | 46 platform_get_gt_address(void) { function 91 a9_gt_init(platform_get_gt_address()); |
Completed in 44 milliseconds