Searched refs:platform_get_core_count (Results 1 - 12 of 12) sorted by relevance

/barrelfish-master/kernel/arch/armv7/
H A Dplat_id.c17 ai->ncores = platform_get_core_count();
H A Dplat_a9mpcore.c64 if(platform_get_core_count() > 1) a9_scu_enable();
71 platform_get_core_count(void) { function
H A Dplat_a15mpcore.c48 platform_get_core_count(void) { function
H A Dinit.c256 MSG("%"PRIu32" cores in system\n", platform_get_core_count());
/barrelfish-master/kernel/arch/armv8/
H A Dplat_arm_vm.c63 size_t platform_get_core_count(void) function
H A Dplat_cn88xx.c120 size_t platform_get_core_count(void) function
H A Dplat_imx8x.c128 size_t platform_get_core_count(void) function
H A Dplat_qemu.c123 size_t platform_get_core_count(void) function
H A Dplat_rpi3.c101 size_t platform_get_core_count(void) function
H A Dplat_apm88xxxx.c149 size_t platform_get_core_count(void) function
H A Dinit.c185 MSG("%"PRIu32" cores in system\n", platform_get_core_count());
/barrelfish-master/kernel/include/arch/arm/
H A Dplatform.h35 size_t platform_get_core_count(void);

Completed in 67 milliseconds