Searched refs:platform_get_private_region (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/kernel/arch/armv7/
H A Dplat_priv_cbar.c24 lpaddr_t platform_get_private_region(void) { function
H A Dplat_a9mpcore.c42 return platform_get_private_region() + A9MPCORE_SCU_OFFSET;
48 return platform_get_private_region() + A9MPCORE_TIMER_GBL_OFFSET;
54 return platform_get_private_region() + A9MPCORE_TIMER_LCL_OFFSET;
62 platform_gic_cpu_interface_base += platform_get_private_region();
63 platform_gic_distributor_base += platform_get_private_region();
H A Dplat_a15mpcore.c39 A15MPCORE_GICC_OFFSET + platform_get_private_region();
41 A15MPCORE_GICD_OFFSET + platform_get_private_region();
/barrelfish-master/kernel/include/arch/arm/
H A Dplatform.h45 lpaddr_t platform_get_private_region(void);

Completed in 87 milliseconds