kernel/arch/armv7/plat_a15mpcore.c
lpaddr_t
platform_get_distributor_address(void) {
    assert(paging_mmu_enabled());
    return platform_get_private_region() + A15MPCORE_GICD_OFFSET;
}
/* These are called from the A9/A15 common GIC (interrupt controller) code. */
These are called from the A9/A15 common GIC (interrupt controller) code.
These are called from the A9 / A15 common GIC ( interrupt controller ) code .
lpaddr_t
platform_get_distributor_address(void) {
    assert(paging_mmu_enabled());
    return platform_get_private_region() + A15MPCORE_GICD_OFFSET;
}
lpaddr_t platform_get_distributor_address ( void ) { assert ( paging_mmu_enabled ( ) ) ; return platform_get_private_region ( ) + A15MPCORE_GICD_OFFSET ; }
These are called from the A9/A15 common GIC (interrupt controller) code.
These are called from the A9 / A15 common GIC ( interrupt controller ) code .