Searched refs:platform_gic_cpu_interface_base (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/kernel/arch/armv8/
H A Dplat_apm88xxxx_consts.c28 //lpaddr_t platform_gic_cpu_interface_base = 0x00000000781e2000;
32 lpaddr_t platform_gic_cpu_interface_base = 0x0000000078020000; variable
/barrelfish-master/kernel/arch/armv7/
H A Dplat_a15mpcore.c32 lpaddr_t platform_gic_cpu_interface_base = 0; variable
38 platform_gic_cpu_interface_base =
H A Dplat_a9mpcore.c34 lpaddr_t platform_gic_cpu_interface_base = A9MPCORE_GIC_CPU_OFFSET; variable
62 platform_gic_cpu_interface_base += platform_get_private_region();
/barrelfish-master/kernel/arch/arm/
H A Dgic.c25 extern lpaddr_t platform_gic_cpu_interface_base;
30 {"gic", ArgType_UInt, { .uinteger = &platform_gic_cpu_interface_base }},
76 platform_gic_cpu_interface_base, platform_gic_distributor_base);
78 paging_map_device(platform_gic_cpu_interface_base, CPU_SIZE );
H A Dgic_v2.c23 extern lpaddr_t platform_gic_cpu_interface_base;
28 {"gic", ArgType_ULong, { .ulonginteger = &platform_gic_cpu_interface_base }},
72 lvaddr_t gic_cpu = local_phys_to_mem(platform_gic_cpu_interface_base);

Completed in 38 milliseconds